Bug: https://bugs.openjdk.java.net/browse/JDK-8238542WebRev: http://cr.openjdk.java.net/~ihse/JDK-8238542-version-check-should-mention-build-compilers/webrev.01
/Magnus
Bug: https://bugs.openjdk.java.net/browse/JDK-8238542WebRev: http://cr.openjdk.java.net/~ihse/JDK-8238542-version-check-should-mention-build-compilers/webrev.01
/Magnus