protected void read(DataInput istream) throws IOException {
public synchronized void read(VariableByteInputStream istream) throws IOException {
	protected void read(DataInput istream) throws IOException {		max = istream.readShort();		nextPartition = istream.readShort();		int count = istream.readInt();		String name;		short id;		for (int i = 0; i < count; i++) {			name = istream.readUTF();			id = istream.readShort();			symbols.put(name, id);			if (name.charAt(0) == '@')				names.put(id, name.substring(1));			else				names.put(id, name);		}		changed = false;	}