static void printJavaVersion() {
  print("Java version: " + javaVersion();
}