RFR [9] 8133115: docs: replace <tt> tags (obsolete in html5) for java.util.logging, java.util.prefs, java.util.zip, java.util.jar

Hello, Could you please review the following fix: http://cr.openjdk.java.net/~avstepan/8133115/webrev.00 for https://bugs.openjdk.java.net/browse/JDK-8133115 Just a next portion of "<tt>" tags removed. specdiffs did not detect any changes for java.util package: http://cr.openjdk.java.net/~avstepan/8133115/util.diff.00/overview-summary.h... Thanks, Alexander