fix for nullpointer in settings.
Merge branch 'geocat_searchui_develop' of github.com:camptocamp/geocat into geocat_searchui_develop