public synchronized void kill(){
  running=false;
  closed=true;
  try {
    STDIN.close();
  }
 catch (  IOException e) {
  }
  try {
    process.destroy();
  }
 catch (  Exception e) {
  }
}

public synchronized void kill ( ) { running = false ; closed = true ; try { STDIN . close ( ) ; } catch ( IOException e ) { } try { process . destroy ( ) ; } catch ( Exception e ) { } }
try to clean up as much as possible from a shell that ' s gotten itself wedged . hopefully the streamgobblers will croak on their own when the other side of the pipe is closed .
