REVERT: maven plugin manager

pom.xml

@@ -164,7 +164,6 @@
     <testSourceDirectory>${basedir}/src/test/java</testSourceDirectory>
     <outputDirectory>${basedir}/target/classes</outputDirectory>
     <testOutputDirectory>${basedir}/target/test-classes</testOutputDirectory>
-    <pluginManagement>
     <plugins>
       <plugin>
         <groupId>org.antlr</groupId>
@@ -242,25 +241,7 @@
             </execution>
         </executions>
     </plugin>
-    <plugin>
-        <groupId>org.codehaus.mojo</groupId>
-        <artifactId>build-helper-maven-plugin</artifactId>
-        <executions>
-            <execution>
-                <phase>generate-sources</phase>
-                <goals>
-                    <goal>add-source</goal>
-                </goals>
-                <configuration>
-                    <sources>
-                        <source>${project.build.directory}/generated-sources/antlr4</source>
-                    </sources>
-                </configuration>
-            </execution>
-        </executions>
-    </plugin>
     </plugins>
-    </pluginManagement>
   </build>
   
   <url>bmp.ds.mpg.de</url>