if (event.getSource() == ftf) { if (event.getPropertyName().equals("value")) spinner.getModel().setValue(event.getNewValue()); }
    public void propertyChange(PropertyChangeEvent event)    {      // TODO: Implement this properly.    }