[jbosstools-dev] Move to Tycho 0.14.0

Hi all, Tycho 0.14.0 was released yesterday with some nice improvements that we plan to use in a close future. See http://wiki.eclipse.org/Tycho/Release_Notes/0.14 We plan to move to Tycho 0.14.0 very soon, this effort is tracked here: https://issues.jboss.org/browse/JBIDE-10825 and a patch to perform this move is attached on the bug with name "JBIDE-10825.patch". Most of the work was to test, find issues due to BREE, optional dependencoes or build.properties; and then to fix them. Can you please have a look at it and give your feedback regarding this migration? -- Mickael Istria Eclipse developer at JBoss, by RedHat <http://www.jboss.org/tools> My blog <http://mickaelistria.wordpress.com> - My Tweets <http://twitter.com/mickaelistria>