Name: saC57035 Date: 02/16/99


javadoc for java.util.jar.Manifest.getEntries() says nothing regarding
Map format. It is not indicated whether or not that Map permits
null keys. It makes java.util.jar.Manifes.getAttributes(null) behavior
undetermined. Since getAttributes() is defined as:
return (Attributes)getEntries().get(name),
getAttributes() should either throw NullPointerException(if Map does not
permit null keys) or return null(if null keys permitted but such key not found)
in this case. It is not specified what is the correct behavior.

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