From c655752f68d09632c6ea1625b5e055ebdbe48973 Mon Sep 17 00:00:00 2001
From: Vladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Date: Fri, 17 Oct 2014 15:24:33 +0200
Subject: [PATCH] cleanup

---
 platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java
index 66d5285bd087..998620ffa599 100644
--- a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java
+++ b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java
@@ -181,6 +181,7 @@ public class UISettings extends SimpleModificationTracker implements PersistentS
   }
 
   public static class FontFilter implements SerializationFilter {
+    @Override
     public boolean accepts(Accessor accessor, Object bean) {
       UISettings settings = (UISettings)bean;
       return !hasDefaultFontSetting(settings);
@@ -192,10 +193,12 @@ public class UISettings extends SimpleModificationTracker implements PersistentS
     return fontData.first.equals(settings.FONT_FACE) && fontData.second.equals(settings.FONT_SIZE);
   }
 
+  @Override
   public UISettings getState() {
     return this;
   }
 
+  @Override
   public void loadState(UISettings object) {
     XmlSerializerUtil.copyBean(object, this);