Index: /trunk/build.xml
===================================================================
--- /trunk/build.xml	(revision 13493)
+++ /trunk/build.xml	(revision 13494)
@@ -384,5 +384,5 @@
             <doctitle><![CDATA[<h2>JOSM - Javadoc</h2>]]></doctitle>
             <bottom><![CDATA[<a href="https://josm.openstreetmap.de/">JOSM</a>]]></bottom>
-            <arg value="-html4" if:set="isJava9" />
+            <arg value="-html5" if:set="isJava9" />
             <arg value="--add-exports" if:set="isJava9" />
             <arg value="java.base/sun.security.util=ALL-UNNAMED" if:set="isJava9" />
Index: /trunk/src/org/openstreetmap/josm/data/validation/routines/package.html
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/validation/routines/package.html	(revision 13493)
+++ /trunk/src/org/openstreetmap/josm/data/validation/routines/package.html	(revision 13494)
@@ -36,5 +36,5 @@
 </ul>
 
-<a name="overview"></a>
+<a id="overview"></a>
 <h1>1. Overview</h1>
 <p>
@@ -56,8 +56,8 @@
 </p>
 
-<a name="other"></a>
+<a id="other"></a>
 <h1>2. Validators</h1>
 
-<a name="other.overview"></a>
+<a id="other.overview"></a>
 <h2>2.1 Overview</h2>
 <p>
@@ -77,5 +77,5 @@
 </ul>
 
-<a name="other.regex"></a>
+<a id="other.regex"></a>
 <h2>2.2 Regular Expression Validation</h2>
 <p>
@@ -158,5 +158,5 @@
 </p>
 
-<a name="other.inet"></a>
+<a id="other.inet"></a>
 <h2>2.3 IP Address Validation</h2>
 
@@ -180,5 +180,5 @@
 </pre>
 
-<a name="other.email"></a>
+<a id="other.email"></a>
 <h2>2.4 Email Address Validation</h2>
 
@@ -204,5 +204,5 @@
 </pre>
 
-<a name="other.url"></a>
+<a id="other.url"></a>
 <h2>2.5 URL Validation</h2>
 
@@ -245,5 +245,5 @@
 </pre>
 
-<a name="other.domain"></a>
+<a id="other.domain"></a>
 <h2>2.6 Domain Name Validation</h2>