			// Config name must be a valid dir name too, so we ban "\ / : * ? " < >" in the names
			// Config name must be a valid dir name too, so we ban "\ / : * ? " < >" in the names | RenameConfigurationDialog.java