Fix in Settings.java