Merge "More java.util.zip documentation improvements."