Index: /trunk/src/org/openstreetmap/josm/tools/Utils.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/tools/Utils.java	(revision 12617)
+++ /trunk/src/org/openstreetmap/josm/tools/Utils.java	(revision 12618)
@@ -1721,4 +1721,5 @@
      * @since 12604
      */
+    @SuppressWarnings("unchecked")
     public static <T> void instanceOfThen(Object o, Class<T> klass, Consumer<? super T> consumer) {
         if (klass.isInstance(o)) {