Index: trunk/src/org/openstreetmap/josm/tools/PlatformHook.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/PlatformHook.java	(revision 12675)
+++ trunk/src/org/openstreetmap/josm/tools/PlatformHook.java	(revision 12676)
@@ -246,5 +246,5 @@
      */
     @FunctionalInterface
-    public interface JavaExpirationCallback {
+    interface JavaExpirationCallback {
         /**
          * Asks user to update its version of Java.
