public void leaveSource(NodeHandler handler,Context context){
  if (TRACE) {
    indent=indent.substring(0,indent.length() - 1);
    trace(indent + "</Source><!-- " + Navigator.getPath(context.getContextNodeInfo())+ " -->");
  }
  myDebugger.popSource();
}

public void leaveSource ( NodeHandler handler , Context context ) { if ( TRACE ) { indent = indent . substring ( 0 , indent . length ( ) - 1 ) ; trace ( indent + "</Source><!-- " + Navigator . getPath ( context . getContextNodeInfo ( ) ) + " -->" ) ; } myDebugger . popSource ( ) ; }
called after a node of the source tree got processed
