private void writeObject(java.io.ObjectOutputStream s) throws java.io.IOException {
  s.defaultWriteObject();
  s.writeInt(values.size());
  for (int i=0; i < values.size(); i++) {
    s.writeObject(values.elementAt(i));
  }
}

private void writeObject ( java . io . ObjectOutputStream s ) throws java . io . IOException { s . defaultWriteObject ( ) ; s . writeInt ( values . size ( ) ) ; for ( int i = 0 ; i < values . size ( ) ; i ++ ) { s . writeObject ( values . elementAt ( i ) ) ; } }
overridden to avoid exposing implementation details
