This bug was fixed in the package eclipse-jdt-core - 4.9-1~18.04
--------------- eclipse-jdt-core (4.9-1~18.04) bionic; urgency=medium
* Backport for OpenJDK 11. LP: #1817567.
eclipse-jdt-core (4.9-1) unstable; urgency=medium
* New upstream release - The license changed to EPL-2.0
eclipse-jdt-core (4.8-1) unstable; urgency=medium
* New upstream release * Fixed the Vcs-Browser URL
eclipse-jdt-core (4.7.3-1) unstable; urgency=medium
* Initial release (Closes: #903913)
-- Matthias Klose <email address hidden> Thu, 07 Mar 2019 11:23:31 +0100
This bug was fixed in the package eclipse-jdt-core - 4.9-1~18.04
---------------
eclipse-jdt-core (4.9-1~18.04) bionic; urgency=medium
* Backport for OpenJDK 11. LP: #1817567.
eclipse-jdt-core (4.9-1) unstable; urgency=medium
* New upstream release
- The license changed to EPL-2.0
eclipse-jdt-core (4.8-1) unstable; urgency=medium
* New upstream release
* Fixed the Vcs-Browser URL
eclipse-jdt-core (4.7.3-1) unstable; urgency=medium
* Initial release (Closes: #903913)
-- Matthias Klose <email address hidden> Thu, 07 Mar 2019 11:23:31 +0100