This bug was fixed in the package websocket-api - 1.1-1~18.04
--------------- websocket-api (1.1-1~18.04) bionic; urgency=medium
* Backport for OpenJDK 11. LP: #1817567.
websocket-api (1.1-1) unstable; urgency=medium
* Initial release (Closes: #916245)
-- Matthias Klose <email address hidden> Mon, 25 Feb 2019 19:19:48 +0100
This bug was fixed in the package websocket-api - 1.1-1~18.04
---------------
websocket-api (1.1-1~18.04) bionic; urgency=medium
* Backport for OpenJDK 11. LP: #1817567.
websocket-api (1.1-1) unstable; urgency=medium
* Initial release (Closes: #916245)
-- Matthias Klose <email address hidden> Mon, 25 Feb 2019 19:19:48 +0100