Ok. I misunderstood.
Here is a proposal for change on jbosstools-4.3.x branch:
https://github.com/jbosstools/jbosstools-build/pull/203
Note that TP 4.50.0.Final-SNAPSHOT should be released soon, but I
believe it's better to merge suggested commit ASAP and to append another
one when 4.50.0.Final is released.
--
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>