Remove unused EventBMatchEngine

org.eventb.texttools/plugin.xml

@@ -46,28 +46,4 @@
          </attributeType>
       </relationship>
    </extension>
-<!--   <extension
-         point="org.eclipse.emf.compare.match.engine">
-      <matchengine
-            label="EventB Match Engine"
-            engineClass="org.eventb.texttools.merge.EventBMatchEngine"
-            fileExtension="bum,buc">
-      </matchengine>
-   </extension>
-   <extension
-         point="org.eclipse.emf.compare.diff.mergerprovider">
-      <mergerprovider
-            fileExtension="bum,buc"
-            mergerProviderClass="org.eventb.texttools.merge.MergerProvider"
-            priority="highest">
-      </mergerprovider>
-   </extension>
-   <extension
-         point="org.eclipse.emf.compare.diff.engine">
-      <diffengine
-            engineClass="org.eventb.texttools.diff.EventBDiffEngine"
-            label="Event-B Difference Engine"
-            priority="highest">
-      </diffengine>
-   </extension> -->
 </plugin>

org.eventb.texttools/src/org/eventb/texttools/PersistenceHelper.java

@@ -183,18 +183,6 @@ public class PersistenceHelper {
 
 		IEObjectMatcher matcher = new EventBEObjectMatcher();
 
-		// IMatchEngine matchEngine = new DefaultMatchEngine(matcher,
-		// comparisonFactory);
-		// final IMatchEngine eventBMatchEngine = new EventBMatchEngine(matcher,
-		// comparisonFactory);
-
-		// IMatchEngine.Factory matchEngineFactory = new
-		// MatchEngineFactoryImpl() {
-		// @Override
-		// public IMatchEngine getMatchEngine() {
-		// return eventBMatchEngine;
-		// }
-		// };
 		IMatchEngine.Factory matchEngineFactory = new MatchEngineFactoryImpl(
 				matcher, comparisonFactory);
 		matchEngineFactory.setRanking(20);

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

-package org.eventb.texttools.diffmerge;
-
-import org.eclipse.emf.compare.match.DefaultMatchEngine;
-import org.eclipse.emf.compare.match.IComparisonFactory;
-import org.eclipse.emf.compare.match.eobject.IEObjectMatcher;
-
-public class EventBMatchEngine extends DefaultMatchEngine {
-
-	public EventBMatchEngine(IEObjectMatcher matcher,
-			IComparisonFactory comparisonFactory) {
-		super(matcher, comparisonFactory);
-	}
-}