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