harmonize UserPreferences.java
This was possibly due to some changes not entirely validated on a merge conflict.
This commit is contained in:
parent
b3fbc5258e
commit
78b2ceab57