This bug was fixed in the package openjdk-13 - 13.0.3+3-1ubuntu2
--------------- openjdk-13 (13.0.3+3-1ubuntu2) focal; urgency=medium
* SRU: LP: #1871161, upload to the proposed/updates pocket, package was removed in the release pocket.
-- Matthias Klose <email address hidden> Sat, 18 Apr 2020 14:23:20 +0200
This bug was fixed in the package openjdk-13 - 13.0.3+3-1ubuntu2
---------------
openjdk-13 (13.0.3+3-1ubuntu2) focal; urgency=medium
* SRU: LP: #1871161, upload to the proposed/updates pocket, package was
removed in the release pocket.
-- Matthias Klose <email address hidden> Sat, 18 Apr 2020 14:23:20 +0200