code: private String findSocketFile(int pid) {
          File f = new File(tmpdir, ".java_pid" + pid);
          if (!f.exists()) {
              return null;
          }
          return f.getPath();
      }
docs: Return the socket file for the given process.