Generated by
JDiff

Class java.io.PushbackInputStream

Changed Methods
void mark(int) Method was inherited from FilterInputStream, but is now defined locally. Marks the current position in this input stream.
void reset() Method was inherited from FilterInputStream, but is now defined locally. Repositions this stream to the position at the time the mark method was last called on this input stream.