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);
 }