}
/**
- * Fires a debug event
- *
- * @param event the event to be fired
- */
- protected void fireEvent(DebugEvent event) {
- DebugPlugin.getDefault().fireDebugEventSet(new DebugEvent[] {event});
- }
-
- /**
* Fires a <code>CREATE</code> event for this element.
*/
public void fireCreationEvent() {