return "";
return null;
        public final String readString() throws IOException {        	int length = this.dis.readInt();        	if (length == 0) {        		return "";        	}        	char[] chars = new char[length];        	for (int i = 0; i < length; i++) {				chars[i] = this.dis.readChar();			}        	return new String(chars);        }