132133134135136137138139140141142
for (final DebugEvent event : events) { if ( process != null && process.equals(event.getSource()) && event.getKind() == DebugEvent.TERMINATE) { job.cancel(); } } } });