static JButton renameSubmitButton(JComponent c, S newName) {
  ret renameButton(c, showFormSubmitButtonName(), newName);
}