From 1a42a4ef350bd8d09d979f19095158fe077910b3 Mon Sep 17 00:00:00 2001
From: Dmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Date: Wed, 10 Oct 2012 14:06:58 +0400
Subject: [PATCH] cleanup

---
 .../src/com/intellij/ide/util/treeView/TreeState.java         | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/platform/platform-api/src/com/intellij/ide/util/treeView/TreeState.java b/platform/platform-api/src/com/intellij/ide/util/treeView/TreeState.java
index ce80f8907a89..79c8b7052bc0 100644
--- a/platform/platform-api/src/com/intellij/ide/util/treeView/TreeState.java
+++ b/platform/platform-api/src/com/intellij/ide/util/treeView/TreeState.java
@@ -48,7 +48,7 @@ public class TreeState implements JDOMExternalizable {
   @NonNls private static final String USER_OBJECT = "USER_OBJECT";
   @NonNls public static final String CALLBACK = "Callback";
 
-  static class PathElement implements JDOMExternalizable {
+  static class PathElement {
     public String myItemId;
     public String myItemType;
 
@@ -82,13 +82,11 @@ public class TreeState implements JDOMExternalizable {
       return myUserObject != null && myUserObject.equals(object);
     }
 
-    @Override
     public void readExternal(Element element) throws InvalidDataException {
       DefaultJDOMExternalizer.readExternal(this, element);
       myUserObject = element.getAttributeValue(USER_OBJECT);
     }
 
-    @Override
     public void writeExternal(Element element) throws WriteExternalException {
       DefaultJDOMExternalizer.writeExternal(this, element);
       if (myUserObject instanceof String){