question: 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 ( ) ; }
target:  Called after a node of the source tree got processed