void notifyError(SpecListener listener, SpecErrorEvent evt) { listener.breakpointError(evt); }
void notifyResolved(SpecListener listener, SpecEvent evt) { listener.breakpointResolved(evt); }
void notifyDeleted(SpecListener listener, SpecEvent evt) { listener.breakpointDeleted(evt); }
void notifySet(SpecListener listener, SpecEvent evt) { listener.breakpointSet(evt); }