src/share/classes/javax/swing/plaf/basic/BasicSpinnerUI.java

Print this page

        

@@ -705,11 +705,11 @@
                                DateFormat.Field field) {
             int max = ftf.getDocument().getLength();
 
             iterator.first();
             do {
-                Map attrs = iterator.getAttributes();
+                Map<?, ?> attrs = iterator.getAttributes();
 
                 if (attrs != null && attrs.containsKey(field)){
                     int start = iterator.getRunStart(field);
                     int end = iterator.getRunLimit(field);