!747 m { p { print("JavaX: " + get(getJavaX(), "version")); print("Java: " + System.getProperty("java.version")); } }