@Override
  public Integer getPid() {
    return pid;
  }
Gets the user-specified process ID (PID) of the running Server that ServerLauncher uses to
issue status and stop commands to the Server.

@return an Integer value indicating the process ID (PID) of the running Server.
geode-core/src/main/java/org/apache/geode/distributed/ServerLauncher.java