final private void dumpTable()
private void dumpTable()
  final private void dumpTable()  {    int start_range = 0;        if (!Configuration.DEBUG)      return;    System.out.println("Dumping internal table:");    for (int i = 0; i < ranges.length; i++)      {	System.out.print("\t" + start_range + " => " + ranges[i] + ":");	if (attributes[i] == null)	  System.out.println("null");	else	  {	    Set keyset = attributes[i].keySet();	    if (keyset != null)	      {		Iterator keys = keyset.iterator();				while (keys.hasNext())		  System.out.print(" " + keys.next());	      }	    else	      System.out.println("keySet null");	    System.out.println();	  }      }    System.out.println();    System.out.flush();  }