This bug was fixed in the package servlet-api - 4.0.1-2~18.04
--------------- servlet-api (4.0.1-2~18.04) bionic; urgency=medium
* Backport for OpenJDK 11. LP: #1817567.
servlet-api (4.0.1-2) unstable; urgency=medium
* libservlet-api-java-doc now replaces libservlet3.1-java-doc * Standards-Version updated to 4.3.0
servlet-api (4.0.1-1) unstable; urgency=medium
* Initial release (Closes: #916354)
-- Matthias Klose <email address hidden> Mon, 25 Feb 2019 16:34:46 +0100
This bug was fixed in the package servlet-api - 4.0.1-2~18.04
---------------
servlet-api (4.0.1-2~18.04) bionic; urgency=medium
* Backport for OpenJDK 11. LP: #1817567.
servlet-api (4.0.1-2) unstable; urgency=medium
* libservlet- api-java- doc now replaces libservlet3. 1-java- doc
* Standards-Version updated to 4.3.0
servlet-api (4.0.1-1) unstable; urgency=medium
* Initial release (Closes: #916354)
-- Matthias Klose <email address hidden> Mon, 25 Feb 2019 16:34:46 +0100