final TextBox name = new TextBox();
name.setText(mm.name);
changeName.add(name);
Button nameBut = new Button(constants.ChangeName());
nameBut.addKeyboardListener(noSpaceListener());
nameBut.addClickListener(new ClickListener() {
public void onClick(Widget w) {
if (!uniqueName(name.getText(), m.models)) {
Window.alert(Format.format(constants.NameTakenForModel(), name.getText()));