Generated by
JDiff

Class java.io.PushbackInputStream

Documentation changed from old to new.