private ModifiableFontPreferences ensureEditableConsoleFontPreferences() {
    if (!(consoleFontPreferences instanceof ModifiableFontPreferences)) {
      ModifiableFontPreferences editableFontPreferences = new FontPreferencesImpl();
      consoleFontPreferences.copyTo(editableFontPreferences);
      consoleFontPreferences = editableFontPreferences;
    }
    return (ModifiableFontPreferences)consoleFontPreferences;
  }
private ModifiableFontPreferences ensureEditableConsoleFontPreferences()