hg: jdk9/dev/jdk: 8157613: Internal documentation improvements to ZipFile.java

[martinrb at google.com]

Changeset: e93c15465318
Author:    martin
Date:      2016-05-23 12:44 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/e93c15465318

8157613: Internal documentation improvements to ZipFile.java
Reviewed-by: plevart, sherman

! src/java.base/share/classes/java/util/zip/ZipFile.java