/* (non-Javadoc)
  * @see org.exist.debugger.DebuggingSource#isTerminated()
  */
 public boolean isTerminated() {
   return debugger.isTerminated();
 }