From 08c9a0b0cf1d88c6b9d58550bbecc136e8437e57 Mon Sep 17 00:00:00 2001
From: Nikolay Mikhaylov <nikolay.mikhaylov@gmail.com>
Date: Wed, 26 Aug 2015 18:13:11 +0300
Subject: [PATCH] fix: remove unneeded @Ignore

---
 .../idea/maven/utils/library/RepositoryLibraryProperties.java   | 2 --
 1 file changed, 2 deletions(-)

diff --git a/plugins/maven/src/main/java/org/jetbrains/idea/maven/utils/library/RepositoryLibraryProperties.java b/plugins/maven/src/main/java/org/jetbrains/idea/maven/utils/library/RepositoryLibraryProperties.java
index 4f516fa9ecf0..705601cf8b67 100644
--- a/plugins/maven/src/main/java/org/jetbrains/idea/maven/utils/library/RepositoryLibraryProperties.java
+++ b/plugins/maven/src/main/java/org/jetbrains/idea/maven/utils/library/RepositoryLibraryProperties.java
@@ -18,7 +18,6 @@ package org.jetbrains.idea.maven.utils.library;
 import com.intellij.openapi.roots.libraries.LibraryProperties;
 import com.intellij.openapi.util.Comparing;
 import com.intellij.util.xmlb.annotations.Attribute;
-import jdk.nashorn.internal.ir.annotations.Ignore;
 import org.jetbrains.annotations.NotNull;
 
 /**
@@ -95,7 +94,6 @@ public class RepositoryLibraryProperties extends LibraryProperties<RepositoryLib
     return artifactId;
   }
 
-  @Ignore
   public String getVersion() {
     return version;
   }