JSpinner s = new JSpinner(m);
JSpinner.DateEditor e = new JSpinner.DateEditor(s);
harness.check(e.getFormat(), DateFormat.getInstance());
harness.check(e.getLayout(), e);
JFormattedTextField ftf = e.getTextField();
DateFormatter nf = (DateFormatter) ftf.getFormatter();
harness.check(nf.getMinimum(), null);
harness.check(nf.getMaximum(), null);
m = new SpinnerDateModel(new Date(50L), new Date(0L), new Date(100L),
Calendar.MILLISECOND);
s = new JSpinner(m);
e = new JSpinner.DateEditor(s);
harness.check(e.getFormat(), DateFormat.getInstance());
ftf = e.getTextField();
nf = (DateFormatter) ftf.getFormatter();
harness.check(nf.getMinimum(), new Date(0L));
harness.check(nf.getMaximum(), new Date(100L));
// try null argument
boolean pass = false;
try
{