Removed old plug-in version filter since the bug no longer exists

dresden-ocl · Aug 11, 2014 · c079374 · c079374
1 parent 58ae495
commit c079374
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/eclipse/org.dresdenocl.build.master/pom.xml b/eclipse/org.dresdenocl.build.master/pom.xml
@@ -264,20 +264,6 @@
 								<arch>x86_64</arch>
 							</environment>
 						</environments>
-						<filters>
-							<!-- This filter is due to a bug of eclipse -->
-							<!-- 
-							<filter>
-								<type>eclipse-plugin</type>
-								<id>org.eclipse.jdt.core</id>
-								<restrictTo>
-									 this is the version for Kepler SR1, have to adapt for other 
-										release trains/service releases
-									<version>3.9.1.v20130905-0837</version>
-								</restrictTo>
-							</filter>
-							-->
-						</filters>
 					</configuration>
 				</plugin>