FormLayout layout = new FormLayout
("right:pref, 4dlu, fill:pref, 8dlu, right:pref, 4dlu, fill:pref", // 4dlu, left:pref, 4dlu",
"");
DefaultFormBuilder builder = new DefaultFormBuilder(layout);
builder.appendSeparator(Globals.lang("Field sizes"));
// We use this list to build an alphabetical list of field names:
TreeSet<String> fields = new TreeSet<String>();
// We use this map to remember which slider represents which field name:
sliders.clear();