ref #8045: further implementation for default/explicit value selection preference pages
ref #8045: check whether all db preferences are deleted from DB if value is default value
ref #7849: add correct handling for restoreDefaults in DB preference pages
ref #7849: nomenclatural code change allowOverride -> apply activated
smaller changes in preferences
ref #7849: disable apply button until something was changed in preference page
ref #7849: improve DB preference handling and use editorpreferencePredicates keys also for local preferences
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