We should also make configure prefer 2019 over 2017 if both are available.
Bug: https://bugs.openjdk.java.net/browse/JDK-8244945 Webrev: http://cr.openjdk.java.net/~erikj/8244945/webrev.01/index.html /Erik
We should also make configure prefer 2019 over 2017 if both are available.
Bug: https://bugs.openjdk.java.net/browse/JDK-8244945 Webrev: http://cr.openjdk.java.net/~erikj/8244945/webrev.01/index.html /Erik