public void abort(boolean terminateProcess){
  aborted=true;
  if (terminateProcess)   process.destroy();
}

public void abort ( boolean terminateProcess ) { aborted = true ; if ( terminateProcess ) process . destroy ( ) ; }
define that execution is aborted
