private void dump(int counter,INode next){
  if (!logger.isTraceEnabled()) {
    return;
  }
  String leafText=leafText(next);
  logger.trace(String.format("%4d: %90s - %s",counter,next.toString(),leafText));
}

private void dump ( int counter , INode next ) { if ( ! logger . isTraceEnabled ( ) ) { return ; } String leafText = leafText ( next ) ; logger . trace ( String . format ( "%4d: %90s - %s" , counter , next . toString ( ) , leafText ) ) ; }
logging utility , quickly - returns if logging is off .
