code: void setPidToJvm(JVMId jvmId, String pid) {
      if (jvmId.isMapJVM()) {
        mapJvmManager.jvmIdToPid.put(jvmId, pid);
      }
      else {
        reduceJvmManager.jvmIdToPid.put(jvmId, pid);
      }
    }
docs: /*
  Saves pid of the given taskJvm