/** Kill the child process */
public void kill() {
killed = true;
jvmManager.taskKilled(this);
signalDone();
}
/** Kill the child process */
public void kill() {
killed = true;
jvmManager.taskKilled(this);
signalDone();
}