Comment 15 for bug 1817567

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