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;
    }
private String getProcShortName ( ) { if ( procShortName == null ) { File exec = getExecutableFile ( ) ; procShortName = exec . getName ( ) ; } return procShortName ; }
---