code: protected void diagnoseNumPaths(Vector paths, int numPathsEliminated,  
                                    int numUniquePathsEliminated) 
    {
  		if (numPathsEliminated > 0)
  		{ 
  		  if(paths == m_paths)
  		  {
  		    System.err.println("Eliminated " + numPathsEliminated + " total paths!");
  		    System.err.println(
  		      "Consolodated " + numUniquePathsEliminated + " redundent paths!");
  		  }
  		  else
  		  {
  		    System.err.println("Eliminated " + numPathsEliminated + " total global paths!");
  		    System.err.println(
  		      "Consolodated " + numUniquePathsEliminated + " redundent global paths!");
  		  }
  		}  
    }
docs: Print out to std err the number of paths reduced.