tree 553e3e280e9d8f985f5d2f2c003cb9cabc73960d
parent 4d798a9f7af2333e750f9631854b8f4cc25968d2
author GianMaria Romanato <gm.romanato@gmail.com> 1585561814 +0200
committer GianMaria Romanato <gm.romanato@gmail.com> 1585561814 +0200

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