From 52ba6263cda086f8cd324c0fd4431affcb49c828 Mon Sep 17 00:00:00 2001 From: Vladimir Krivosheev Date: Thu, 24 Sep 2015 17:12:29 +0200 Subject: [PATCH] cleanup --- .../src/com/intellij/ide/ui/customization/ActionUrl.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/platform/platform-impl/src/com/intellij/ide/ui/customization/ActionUrl.java b/platform/platform-impl/src/com/intellij/ide/ui/customization/ActionUrl.java index ef2f111dfe67..b0f412efb673 100644 --- a/platform/platform-impl/src/com/intellij/ide/ui/customization/ActionUrl.java +++ b/platform/platform-impl/src/com/intellij/ide/ui/customization/ActionUrl.java @@ -1,5 +1,5 @@ /* - * Copyright 2000-2009 JetBrains s.r.o. + * Copyright 2000-2015 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -131,6 +131,7 @@ public class ActionUrl implements JDOMExternalizable { myInitialPosition = initialPosition; } + @Override public void readExternal(Element element) throws InvalidDataException { myGroupPath = new ArrayList(); for (Object o : element.getChildren(PATH)) { @@ -154,6 +155,7 @@ public class ActionUrl implements JDOMExternalizable { DefaultJDOMExternalizer.readExternal(this, element); } + @Override public void writeExternal(Element element) throws WriteExternalException { for (String s : myGroupPath) { Element path = new Element(PATH);