Frameworks: fix up Settings.java