public void setValue (double val, String format)
public void setValue (double val)
    public void setValue (double val,                          String format)    {        field.setText(String.format(format, val));    }