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

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