public double readDouble() throws IOException { Object obj = vec.elementAt(ptr++); return (((Double)obj).doubleValue()); }
public double readDouble() throws IOException { Object obj = vec.elementAt(ptr++); return ((Double) obj).doubleValue(); }
public double readDouble() throws IOException {	Object obj = vec.elementAt(ptr++);	return (((Double)obj).doubleValue());}