
 public class KillProcess extends Thread
 {
     Process process;

     public KillProcess (Process process)
     {
	 super ();
	 this.process = process;
     }

     public void run ()
     {
	 process.destroy (); // HACK
     }

 }
