Fix Settings.java for HALO