Update HighlightPreferences.java