public static void printTree(SplaySymbolTable<?, ?> table, String fname) {
   Vector<String> serializedTable = table.serialize();
   TreePrinter treePrinter = new TreePrinter(serializedTable);
   try {
     FileOutputStream out = new FileOutputStream(fname);
     PrintStream ps = new PrintStream(out);
     treePrinter.printSVG(ps);
   } catch (Exception e) {
     System.err.println("Error writing SVG file: " + e.getMessage());
   }
 }
 /** {@inheritDoc} */
 @Override
 public String toString() {
   return TreePrinter.getString(this);
 }