docs: public synchronized void print(java.io.PrintWriter printWriter)
      {
          printWriter.println("Dump of TreeMap size=" + size + "(long)");
          try {
              for (Iterator iterator = entrySet().iterator(); iterator.hasNext();) {
                  Entry entry = (Entry) iterator.next();
                  printWriter.println((indexLabel(entry) + "                    ").substring(0, 20)
                                      + (entry.getColor() ? " RED  " : " BLACK")
                                      + " Entry=" + entry);
              } // for(iterator... 
          } catch (ObjectManagerException objectManagerException) {
              // No FFDC code needed.
              printWriter.println("Caught objectManagerException=" + objectManagerException);
              objectManagerException.printStackTrace(printWriter);
          } // try...   
      }