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.