private void createNameEditor() { String name; if (index == 0) { name = FModel.getPreferences().getPref(FPref.PLAYER_NAME); if (name.isEmpty()) { name = "Human"; } } else { name = NameGenerator.getRandomName("Any", "Any", screen.getPlayerNames()); } txtPlayerName.setText(name); txtPlayerName.setFont(LABEL_FONT); txtPlayerName.setChangedHandler(nameChangedHandler); }