public char readChar() throws IOException { Object obj = vec.elementAt(ptr++); return (((Character)obj).charValue()); }
public char readChar() throws IOException { Object obj = vec.elementAt(ptr++); return ((Character) obj).charValue(); }
public char readChar() throws IOException {	Object obj = vec.elementAt(ptr++);	return (((Character)obj).charValue());}