BTW looks like JVM versions past 9 will have a YY.M versioning scheme (e.g., the next dev version of “Java 10” will be 18.3)