Add support for readDouble in GWT DataInputStream