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