Index: /trunk/build.xml
===================================================================
--- /trunk/build.xml	(revision 15242)
+++ /trunk/build.xml	(revision 15243)
@@ -414,4 +414,6 @@
             <doctitle><![CDATA[<h2>JOSM - Javadoc</h2>]]></doctitle>
             <bottom><![CDATA[<a href="https://josm.openstreetmap.de/">JOSM</a>]]></bottom>
+            <!-- Disable HTML checking until we switch to Java13+, see https://bugs.openjdk.java.net/browse/JDK-8223552 -->
+            <arg value="-Xdoclint:-html" if:set="isJava13" />
             <arg value="-html5" if:set="isJava9" />
             <arg value="--add-exports" if:set="isJava9" />