public void changeCurrentServer(Server server) { if (server != model.getCurrentServer()) { // Wenn der Server der gleiche ist, wurde nur das GUI geupdated, keine Aktion vom User if (!model.isLoggedIn()) { model.setCurrentServer(server); model.fireChange(); } } }