On 09/29/2014 05:24 PM, André Dietisheim wrote:

yeah, worth it imho (if max agrees). I'll do that. Is there a jira already?

Nope, please open a new one and make me a CC.

--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets