Hi all,

We are currently in the process of building JBoss Tools 4.2.0.Beta3 respin-b.
So please DON'T push any new change for this respin. It's too late. If you have a change you need to push, please notify the mailing-list first.

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