void (NodeInfo element, Context context) { if (element.getNodeType() == NodeInfo.ELEMENT) { // final int lineNumber = element.getLineNumber(); // final String uri = element.getSystemId(); myDebugger.leave(); if (TRACE) { indent = indent.substring(0, indent.length() - 1); trace(indent + "</Instruction> <!-- " + element.getDisplayName() + " -->"); } } }