Object target = event.getSource(); Object page = fVMsToScrapbooks.get(target); if (page != null) { fVMsToScrapbooks.remove(target); fScrapbookToVMs.remove(page); fVMsToBreakpoints.remove(target); IDebugUIEventFilter filter = (IDebugUIEventFilter)fVMsToFilters.remove(target); DebugUITools.removeEventFilter(filter); }
cleanup((IDebugTarget)event.getSource());
	public void handleDebugEvent(DebugEvent event) {		if (event.getSource() instanceof IDebugTarget && event.getKind() == DebugEvent.TERMINATE) {			Object target = event.getSource();			Object page = fVMsToScrapbooks.get(target);			if (page != null) {				fVMsToScrapbooks.remove(target);				fScrapbookToVMs.remove(page);				fVMsToBreakpoints.remove(target);				IDebugUIEventFilter filter = (IDebugUIEventFilter)fVMsToFilters.remove(target);				DebugUITools.removeEventFilter(filter);			}		}	}