code: private String getProcShortName() {
          // could later be extended to some sort of fake numeric PID, e.g. "mysqld-1", from a static
          // Map<String execName, Integer id)
          if (procShortName == null) {
              File exec = getExecutableFile();
              procShortName = exec.getName();
          }
          return procShortName;
      }
docs: ---