From e12bf6813d9554a25273c356f567a09b109d2172 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-R=C3=A9my=20Falleri?= <jr.falleri@gmail.com>
Date: Thu, 1 Feb 2024 14:39:26 +0100
Subject: [PATCH] fix: matcher names and priorities.

---
 .../com/github/gumtreediff/matchers/CompositeMatchers.java    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/src/main/java/com/github/gumtreediff/matchers/CompositeMatchers.java b/core/src/main/java/com/github/gumtreediff/matchers/CompositeMatchers.java
index 00559eb5..2cd8da6b 100644
--- a/core/src/main/java/com/github/gumtreediff/matchers/CompositeMatchers.java
+++ b/core/src/main/java/com/github/gumtreediff/matchers/CompositeMatchers.java
@@ -81,7 +81,7 @@ public Set<ConfigurationOptions> getApplicableOptions() {
         }
     }
 
-    @Register(id = "gumtree-simple", priority = Registry.Priority.HIGH)
+    @Register(id = "gumtree-simple", priority = Registry.Priority.MAXIMUM)
     public static class SimpleGumtree extends CompositeMatcher {
         public SimpleGumtree() {
             super(new GreedySubtreeMatcher(), new SimpleBottomUpMatcher());
@@ -163,7 +163,7 @@ public ChangeDistillerTheta() {
         }
     }
 
-    @Register(id = "classic-gumtree-theta")
+    @Register(id = "gumtree-classic-theta")
     public static class ClassicGumtreeTheta extends CompositeMatcher {
         /**
          * Instantiates GumTree with Theta B-F.