static S processID_cached;

// try to get our current process ID
static S getPID() {
  if (processID_cached == null) {
    S name = ManagementFactory.getRuntimeMXBean().getName();
    processID_cached = name.replaceAll("@.*", "");
  }
  ret processID_cached;
}