Index: trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java	(revision 12524)
+++ trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java	(revision 12525)
@@ -577,4 +577,6 @@
                 Element element = doc.getElement(id);
                 try {
+                    // Deprecated API to replace only when migrating to Java 9 (replacement not available in Java 8)
+                    @SuppressWarnings("deprecation")
                     Rectangle r = help.modelToView(element.getStartOffset());
                     if (r != null) {