375376377378379380381382383384385
{ Console.MODULES.getMessageCenter().notify( new Message("Successfully deleted server config "+server.getName()) ); getEventBus().fireEvent(new StaleModelEvent(StaleModelEvent.SERVER_CONFIGURATIONS)); loadServerConfigurations(); } else {