[11u] Make use of DEFAULT_PROMOTED_VERSION_PRE

[Andrew Hughes]

It seems that the addition of DEFAULT_PROMOTED_VERSION_PRE
was backported to 11u for 11.0.7:

https://bugs.openjdk.java.net/browse/JDK-8223464
https://mail.openjdk.java.net/pipermail/jdk-updates-dev/2019-December/002302.html

However, the value does not seem to have been updated since.

Should this not be set to the empty string when the jdk11
tree is tagged with a *-ga release?

This is what was done recently for the RC of OpenJDK 16:

https://bugs.openjdk.java.net/browse/JDK-8259794

Thanks,
-- 
Andrew :)

Senior Free Java Software Engineer
OpenJDK Package Owner
Red Hat, Inc. (http://www.redhat.com)

PGP Key: ed25519/0xCFDA0F9B35964222 (hkp://keys.gnupg.net)
Fingerprint = 5132 579D D154 0ED2 3E04  C5A0 CFDA 0F9B 3596 4222