Stream.readDouble: Difference between revisions