--- old/src/share/classes/javax/swing/JSpinner.java 2014-07-02 23:35:04.000000000 -0700 +++ new/src/share/classes/javax/swing/JSpinner.java 2014-07-02 23:35:04.000000000 -0700 @@ -907,7 +907,7 @@ /** * This subclass of javax.swing.DateFormatter maps the minimum/maximum - * properties to te start/end properties of a SpinnerDateModel. + * properties to the start/end properties of a SpinnerDateModel. */ private static class DateEditorFormatter extends DateFormatter { private final SpinnerDateModel model; @@ -917,19 +917,25 @@ this.model = model; } - public void setMinimum(Comparable min) { - model.setStart(min); + @Override + @SuppressWarnings("unchecked") + public void setMinimum(Comparable min) { + model.setStart((Comparable)min); } - public Comparable getMinimum() { + @Override + public Comparable getMinimum() { return model.getStart(); } - public void setMaximum(Comparable max) { - model.setEnd(max); + @Override + @SuppressWarnings("unchecked") + public void setMaximum(Comparable max) { + model.setEnd((Comparable)max); } - public Comparable getMaximum() { + @Override + public Comparable getMaximum() { return model.getEnd(); } } @@ -1095,19 +1101,23 @@ setValueClass(model.getValue().getClass()); } - public void setMinimum(Comparable min) { + @Override + public void setMinimum(Comparable min) { model.setMinimum(min); } - public Comparable getMinimum() { + @Override + public Comparable getMinimum() { return model.getMinimum(); } - public void setMaximum(Comparable max) { + @Override + public void setMaximum(Comparable max) { model.setMaximum(max); } - public Comparable getMaximum() { + @Override + public Comparable getMaximum() { return model.getMaximum(); } }