219220221222223224225226227228229
} public void engineRemoved (DebuggerEngine engine) { JPDADebugger debugger = engine.lookupFirst(null, JPDADebugger.class); if (debugger == null) return; debugger.removePropertyChangeListener ( JPDADebugger.PROP_STATE, this ); } }
208209210211212213214215216217218
public void engineRemoved (DebuggerEngine engine) { JPDADebugger debugger = (JPDADebugger) engine.lookupFirst (null, JPDADebugger.class); if (debugger == null) return; debugger.removePropertyChangeListener ( JPDADebugger.PROP_STATE, this ); }
179180181182183184185186187188189
} private void destroy() { JPDADebugger debugger = debuggerRef.get(); if (debugger != null) { debugger.removePropertyChangeListener(this); } } }