Hi all,
We've had some request to update Target Platform for JBoss Tools
4.2.1.CR1 build. So beware that we've just updated the related jobs
to use the newer 4.41.1.CR1-SNAPSHOT Target-Platform, which includes
a newer version of THyM (cf
https://issues.jboss.org/browse/JBIDE-18799 ).
This change was also applied on jobs for the master branch, which
rely on TP 4.50.0.CR1-SNAPSHOT.