Bug#942876: openjdk-11-jre-dcevm: Doesn't start up anymore after updating openjdk-11-jre

[Ruedi Steinmann]

> The issue has been forwarded upstream:
>
> https://github.com/HotswapProjects/openjdk-jdk11u-dcevm/issues/6

According to upstream the issue is fixed now.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-java-maintainers/attachments/20200514/74e27020/attachment.html>