public void testDateEditor_formatter() {
spinner.setModel(new SpinnerDateModel());
DateEditor dateEditor = new DateEditor(spinner);
spinner.setEditor(dateEditor);
final Date date1 = new Date(777);
DateFormatter dateFormatter = ((DateFormatter) dateEditor.getTextField().getFormatter());
dateFormatter.setMaximum(date1);
assertSame(dateFormatter.getMaximum(), date1);
assertSame(dateEditor.getModel().getEnd(), date1);
final Date date2 = new Date(555);
dateEditor.getModel().setEnd(date2);
assertSame(dateFormatter.getMaximum(), date2);
assertSame(dateEditor.getModel().getEnd(), date2);
SpinnerDateModel old = (SpinnerDateModel) spinner.getModel();
spinner.setModel(abstractModel);
final Date date3 = new Date(555);
old.setEnd(date3);