This bug was fixed in the package eclipse-platform-resources - 4.9-1~18.04
--------------- eclipse-platform-resources (4.9-1~18.04) bionic; urgency=medium
* Backport for OpenJDK 11. LP: #1817567.
eclipse-platform-resources (4.9-1) unstable; urgency=medium
* New upstream release
eclipse-platform-resources (4.8-1) unstable; urgency=medium
* New upstream release * Fixed the URL in the watch file
eclipse-platform-resources (4.7.3-1) unstable; urgency=medium
* Initial release (Closes: #903645)
-- Matthias Klose <email address hidden> Thu, 07 Mar 2019 11:27:44 +0100
This bug was fixed in the package eclipse- platform- resources - 4.9-1~18.04
--------------- platform- resources (4.9-1~18.04) bionic; urgency=medium
eclipse-
* Backport for OpenJDK 11. LP: #1817567.
eclipse- platform- resources (4.9-1) unstable; urgency=medium
* New upstream release
eclipse- platform- resources (4.8-1) unstable; urgency=medium
* New upstream release
* Fixed the URL in the watch file
eclipse- platform- resources (4.7.3-1) unstable; urgency=medium
* Initial release (Closes: #903645)
-- Matthias Klose <email address hidden> Thu, 07 Mar 2019 11:27:44 +0100