public PidFile(final File file) throws FileNotFoundException {
  if (!file.exists() || !file.isFile()) {
    throw new FileNotFoundException("Unable to find PID file '" + file + "'");
  }
  this.pidFile=file;
}

public PidFile ( final File file ) throws FileNotFoundException { if ( ! file . exists ( ) || ! file . isFile ( ) ) { throw new FileNotFoundException ( "Unable to find PID file '" + file + "'" ) ; } this . pidFile = file ; }
constructs a pidfile for reading pid stored in a file .
