void notifyError(SpecListener listener, SpecErrorEvent evt) {
   listener.breakpointError(evt);
 }