private void writeObject(java.io.ObjectOutputStream s) throws java.io.IOException {
  s.writeObject(mySyntax);
  s.writeInt(size());
  Enumeration<String> comps=getAll();
  while (comps.hasMoreElements()) {
    s.writeObject(comps.nextElement());
  }
}

private void writeObject ( java . io . ObjectOutputStream s ) throws java . io . IOException { s . writeObject ( mySyntax ) ; s . writeInt ( size ( ) ) ; Enumeration < String > comps = getAll ( ) ; while ( comps . hasMoreElements ( ) ) { s . writeObject ( comps . nextElement ( ) ) ; } }
overridden to avoid implementation dependency .
