Anonymous

	private void writeObject(java.io.ObjectOutputStream s)  throws IOException {
		s.writeShort(numericId);
		s.writeObject(pageMapName);
		s.defaultWriteObject();
	}
	
	private void readObject(java.io.ObjectInputStream s)
    throws IOException, ClassNotFoundException
    {
		numericId = s.readShort();
		pageMapName = (String) s.readObject();
		// Read in the threshold, loadfactor, and any hidden stuff
		s.defaultReadObject();
    }