public int readInt() throws IOException { Object obj = vec.elementAt(ptr++); return (((Integer)obj).intValue()); }
public int readInt() throws IOException { Object obj = vec.elementAt(ptr++); return ((Integer) obj).intValue(); }
public int readInt() throws IOException {	Object obj = vec.elementAt(ptr++);	return (((Integer)obj).intValue());}