Hi all,
Please consider
https://issues.jboss.org/browse/JBIDE-19112?focusedCommentId=13040174&...
Goal is to merge it on Monday, since it's a blocker for some pending
patches.
--
Mickael Istria
Eclipse developer at JBoss, by Red Hat <
http://www.jboss.org/tools>
My blog <
http://mickaelistria.wordpress.com> - My Tweets
<
http://twitter.com/mickaelistria>