static S javaVmName() {
  ret System.getProperty("java.vm.name");
}