Name: saC57035 Date: 02/25/98
The javadoc comments for the java.util.zip.Inflater/Deflater.end() method
are extremely brief:
"Discards unprocessed input and frees internal data".
It should be documented which consequences the end() call will have
for the Inflater(Deflater) object. JavaSoft implementation results
in throwing NullPointerException by almost every Inflater(Deflater)
method in this case. This should be explicitly documented, escpecially
because this behaviour is not evident for programmers.