/** Delete a triple, and notify the event manager. Subclasses should not need to override this - we might make it final. The triple is added using performDelete, and notification done by notifyDelete. */ @Override public final void delete( Triple t ) { checkOpen(); performDelete( t ); notifyDelete( t ); }