A couple of small fixes for duplicate <body> tags in HTML files.
Full webrev: http://cr.openjdk.java.net/~jjg/8140325/webrev.00/
Diffs here:
diff -r d93844d0cdd5 src/java.base/share/classes/overview-core.html
--- a/src/java.base/share/classes/overview-core.html Thu Oct 22
11:36:17 2015 -0400
+++ b/src/java.base/share/classes/overview-core.html Thu Oct 22
10:21:53 2015 -0700
@@ -30,9 +30,6 @@
</head>
<body bgcolor="white">
-
-<body>
-
This document is the API specification for the Java™
Platform, Standard Edition.
diff -r d93844d0cdd5
src/java.naming/share/classes/javax/naming/spi/package.html
--- a/src/java.naming/share/classes/javax/naming/spi/package.html Thu
Oct 22 11:36:17 2015 -0400
+++ b/src/java.naming/share/classes/javax/naming/spi/package.html Thu
Oct 22 10:21:53 2015 -0700
@@ -88,5 +88,3 @@
</body>
</html>
-<body>
-</body>