smaller changes in preferences
ref #7849: disable apply button until something was changed in preference page
ref #7849: continue adapt db and local preference pages
ref #7849: improve DB preference handling and use editorpreferencePredicates keys also for local preferences
ref #7849: do not save preferences if page was not edited
ref #7849: harmonize admin and local preferences for distribution editor and use drop down instead of radio buttons
fix #7312: fix immediately saving of preference changes
ref #7268 Implement own extension point for preferences
ref #6190 removing svn property place holder in first line of code - java files
fix #6215: check for datasource when opening preferencepage
#5301 Fix null session issues, Add remoting session for feature tree editor
Change null session to singleton with no owner
#5122 Implement Null Entity Session and integrate it in required preference pages