[jbosstools-dev] CI jobs for 4.2.x branch updated to use Target Platform 4.41.1.CR1-SNAPSHOT

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. -- 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>