[announce] 13.0.1-2 ojdkbuild release

[Alex Kashchenko]

13.0.1-2 release page:
https://github.com/ojdkbuild/ojdkbuild/releases/tag/java-13-openjdk-13.0.1.9-2

13.0.1-2 debug page:
https://github.com/ojdkbuild/ojdkbuild/releases/tag/java-13-openjdk-debug-13.0.1.9-2

jdk13 is a short term release, it is planned to be updated in this
project up to January 2020.

This update includes a fix to the problem with alternative launchers
(Apache procrun and others), that in some cases were unable to load JVM
due to the additional native libraries required [1]. These additional
shared libraries ("ojdkbuild_<libname>.dll") were removed, their
contents are now included into corresponding jdk libraries. Besides
that, in previous versions of jdk13 these additional shared libs were
not included (by mistake) into "java.desktop.jmod" module, so resulting
jlinked images were broken. This problem is also fixed now.

Besides that, standalone JRE installer and a ZIP bundle are now included
for jdk13. JRE builds have their "modules" file compressed, that makes
the installed size smaller, but may lead to slower startup times.

--
-Alex