fix save of db preferences not available in db before
ref #7848 Fix NPE
do not save cdm preference which are not changed
ref #7063: better handling of preferences for distribution editor and other places
fix name editor menu for synonyms and misapplications
ref #6429: Internationalization of admin menu
ref #6429: adapt admin preferences to other preferences