Upgrade OpenJDK to 13

[sir4ur0n]

Following #73330 which was incorrectly tagged as a bug (and users can't change labels)

Metadata
The current OpenJDK version is 12 (GA) while the 13 (GA) was released on the 2019-09-17.

It would be great to provide the 13 version.

The default is OpenJDK13, or at least, the version 13 is available somewhere (e.g. as package openjdk13).

JDK 13 provides several useful changes, including an improved switch syntax, a better GC, and a major fix on HttpClient.

[oneingan]

Maybe we can try to get rid of gnome2 dependencies, or set enableGnome2 false as default.
related: #73246

[cust0dian-old]

Was done in #70983 (also, 13 -> 14 is in #83116)

[sir4ur0n]

Awesome, thank you!