...where at least <http://jdk.java.net/9/> "JDK 9 Early-Access Builds" 'java
-version' outputs a single-digit

  java version "9"

Change-Id: I7807f56593e5436418b49950ca6c2a178d6721f5