protected void handleConfigureButtonSelected() { int selectionIndex = serverCombo.getSelectionIndex(); Server server = servers.get(selectionIndex); String serverName = server.getName(); Shell shell = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getShell(); NullProgressMonitor monitor = new NullProgressMonitor(); ServerEditDialog dialog = new ServerEditDialog(shell, server); if (dialog.open() == Window.CANCEL) { monitor.setCanceled(true); return; } ServersManager.save(); String newName = server.getName(); if (!newName.equals(serverName)) { serverCombo.remove(selectionIndex); serverCombo.add(newName, selectionIndex); serverCombo.select(selectionIndex); } saveWorkingCopy = true; handleServerSelection(); }