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

public void leave ( NodeInfo element , Context context ) { if ( element . getNodeType ( ) == NodeInfo . ELEMENT ) { myDebugger . leave ( ) ; if ( TRACE ) { indent = indent . substring ( 0 , indent . length ( ) - 1 ) ; trace ( indent + "</Instruction> <!-- " + element . getDisplayName ( ) + " -->" ) ; } } }
called after an element of the stylesheet got processed
