Changeset: f66d83501652 Author: jjg Date: 2019-02-04 13:27 -0800 URL: http://hg.openjdk.java.net/code-tools/jtreg/rev/f66d83501652 Tweak JDK version detection ! make/Defs.gmk Changeset: edad52f77592 Author: jjg Date: 2019-02-04 13:29 -0800 URL: http://hg.openjdk.java.net/code-tools/jtreg/rev/edad52f77592 Merge