commit | 902412216ec917a05fd28cc4ce068990d5d17b8a | [log] [tgz] |
---|---|---|
author | GianMaria Romanato <gm.romanato@gmail.com> | Mon Mar 30 11:50:14 2020 +0200 |
committer | GianMaria Romanato <gm.romanato@gmail.com> | Mon Mar 30 11:50:14 2020 +0200 |
tree | 553e3e280e9d8f985f5d2f2c003cb9cabc73960d | |
parent | 4d798a9f7af2333e750f9631854b8f4cc25968d2 [diff] |
561574: Virgo Tools do not work on Eclipse 2019-06 or later Change pom.xml to pull Libra from Jenkins CI build using jar URL. Change super-type of ProjectBundleRoot from JarPackageFragmentRoot to ExternalPackageFragmentRoot to avoid the need to use the new constructor of JarPackageFragmentRoot only available in Eclipse 2019-12 or later