PushBackInputStream and DataInputStream, how to push back a double?...

mark() and reset() method in Java...

Reading an input stream twice without storing it in memory...

Testing if a Java PushbackInputStream contains a string without ruining the stream pointer...