the gradle plugin for maven is broken for mvn > 3.3, use direct call to gradle binary instead

org.eventb.texteditor.parsers/pom.xml

@@ -15,14 +15,14 @@
   <build>
     <plugins>
      <plugin>
-      <groupId>org.fortasoft</groupId>
-      <artifactId>gradle-maven-plugin</artifactId>
-      <version>1.0.5</version>
+      <groupId>org.codehaus.mojo</groupId>
+      <artifactId>exec-maven-plugin</artifactId>
+      <version>1.4.0</version>
         <configuration>
-            <tasks>
-            <!-- this would effectively call "gradle doSomething" -->
-            <task>collectDependencies</task>
-        </tasks>
+            <executable>gradle</executable>
+            <arguments>
+                <argument>collectDependencies</argument>
+            </arguments>
        </configuration>
         <executions>
           <execution>
@@ -30,7 +30,7 @@
             <phase>validate</phase>
             <goals>
            <!-- goal must be "invoke" -->
-               <goal>invoke</goal>
+               <goal>exec</goal>
             </goals>
           </execution>
         </executions>

org.eventb.texttools/src/org/eventb/texttools/diffmerge/EventBDiffProcessor.java

@@ -33,6 +33,7 @@ public class EventBDiffProcessor extends DiffBuilder {
 		ignore = ignore || "annotations".equals(name);
 		ignore = ignore || "extensions".equals(name);
 		ignore = ignore || "nodes".equals(name);
+
 		// ignore = ignore || "attributes".equals(name); // Cannot ignore
 		// generic
 		// attributes since camille timestamp is an attribute
@@ -97,6 +98,7 @@ public class EventBDiffProcessor extends DiffBuilder {
 	@Override
 	public void resourceAttachmentChange(Match match, String uri,
 			DifferenceKind kind, DifferenceSource source) {
+
 		super.resourceAttachmentChange(match, uri, kind, source);
 	}