public final Object clone() {
   ReplaceRule x = (ReplaceRule) clone1();
   ReplaceRule xsav = x;
   ReplaceRule y = this;
   while (y.next != null) {
     x.next = (ReplaceRule) y.next.clone1();
     x.name = y.name;
     x = x.next;
     y = y.next;
   }
   return xsav;
 }
 public static void define(String s, ReplaceRule r) {
   defs.put(s, r);
   r.name = s;
 }