--- a/jdk/src/share/classes/java/io/File.java	Wed Jul 17 00:34:39 2013 -0700
+++ b/jdk/src/share/classes/java/io/File.java	Thu Jul 18 10:49:08 2013 -0700
@@ -129,7 +129,7 @@
  * created, the abstract pathname represented by a <code>File</code> object
  * will never change.
  *
- * <h4>Interoperability with {@code java.nio.file} package</h4>
+ * <h3>Interoperability with {@code java.nio.file} package</h3>
  *
  * <p> The <a href="../../java/nio/file/package-summary.html">{@code java.nio.file}</a>
  * package defines interfaces and classes for the Java virtual machine to access