unbreak Settings.java