@Override public String toString(){
  return String.format("Debugger '%s'",m_debugger.getPrintableString());
}

@ Override public String toString ( ) { return String . format ( "Debugger '%s'" , m_debugger . getPrintableString ( ) ) ; }
returns a string representation of the debugger .
