Update to Eclipse 4.12 (2019-06): drop support for 32-bit Java runtime and GTK 2.
Use Apache Ivy for dependency management, update to Ant 1.10.7 and new Grand core.
Fix a GTK 3 issue (thanks to @nghinv).
Update to Eclipse 4.12 (2019-06): drop support for 32-bit Java runtime and GTK 2.
Use Apache Ivy for dependency management, update to Ant 1.10.7 and new Grand core.
Fix a GTK 3 issue (thanks to @nghinv).