Name: ksC84122 Date: 08/26/99


The javadoc for java.net.URLConnection does not specify explicitly how
to close connection to a file after calling URLConnection.getHeaderFiled(),
getContentType(), getContentEncoding(), getHeaderFieldDate(), etc.
The javadoc should explicitly specify that after calling these methods for a file
URLConnection, a file gets open and user can close a connection to that file in such a way:
getInputStream().close().
By specifying that, user will get a legitimate way to free up a file descrtiptor.

======================================================================