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