!7

p-subst {
  tt();
  setConsoleSize(1000, 300);
  centerConsole();
  clearConsole();
  print("JavaX: " + get(getJavaX(), "version"));
  print("Java: " + System.getProperty("java.version"));
  print("Java VM Name: " + javaVmName());
  print();
  print("JavaX default VM args: " +  javaxDefaultVMArgs());
  print();
  print("Computer ID: " + computerID());
}