7273747576777879808182
} break; case MENU_VERTRAG: if(ma.authenticate()) { VertragsEditor ve = new VertragsEditor(service, ma.getLastAuthenticatedMakler()); ve.showVertragsMenu(); } break; case QUIT: return; }