public synchronized void addPreferences(Preferences preferences) {
    fillHighlightingBraces(preferences.getHighlightingPairs());
    fillSmartTypingBraces(preferences.getSmartTypingPairs());
    myPreferences.add(preferences);
  }
public synchronized void addPreferences(Preferences preferences)