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