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

[Alexander Stepanov]

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.html

Thanks,
Alexander