/* (non-Javadoc)
  * @see org.exist.debugger.DebuggingSource#stop()
  */
 public void stop() throws IOException {
   debugger.stop();
 }
 /* (non-Javadoc)
  * @see org.exist.debugger.DebuggingSource#stop()
  */
 public void stop(ResponseListener listener) {
   debugger.stop(listener);
 }