This bug was fixed in the package eclipse-platform-team - 4.9-1~18.04
--------------- eclipse-platform-team (4.9-1~18.04) bionic; urgency=medium
* Backport for OpenJDK 11. LP: #1817567.
eclipse-platform-team (4.9-1) unstable; urgency=medium
* New upstream release - Refreshed the patch
eclipse-platform-team (4.8-1) unstable; urgency=medium
* New upstream release - Fixed a compilation error in org.eclipse.team.ui
eclipse-platform-team (4.7.3-2) unstable; urgency=medium
* Build more bundles: - org.eclipse.compare - org.eclipse.team.ui - org.eclipse.team.genericeditor.diff.extension
eclipse-platform-team (4.7.3-1) unstable; urgency=medium
* Initial release (Closes: #909760)
-- Matthias Klose <email address hidden> Thu, 07 Mar 2019 11:30:13 +0100
This bug was fixed in the package eclipse- platform- team - 4.9-1~18.04
--------------- platform- team (4.9-1~18.04) bionic; urgency=medium
eclipse-
* Backport for OpenJDK 11. LP: #1817567.
eclipse- platform- team (4.9-1) unstable; urgency=medium
* New upstream release
- Refreshed the patch
eclipse- platform- team (4.8-1) unstable; urgency=medium
* New upstream release
- Fixed a compilation error in org.eclipse.team.ui
eclipse- platform- team (4.7.3-2) unstable; urgency=medium
* Build more bundles: team.genericedi tor.diff. extension
- org.eclipse.compare
- org.eclipse.team.ui
- org.eclipse.
eclipse- platform- team (4.7.3-1) unstable; urgency=medium
* Initial release (Closes: #909760)
-- Matthias Klose <email address hidden> Thu, 07 Mar 2019 11:30:13 +0100