Settings: fix PristineSettings.java