From 6bad224d276912574362bd7b99df4734ff70a3a3 Mon Sep 17 00:00:00 2001
From: Martin Armbruster <armbrustermartin@googlemail.com>
Date: Wed, 22 Jul 2026 07:48:53 +0200
Subject: [PATCH] Fixed the recovery of enum constants: they are cached by
 their name instead of the proxy object.

---
 .../src/jamopp/recovery/trivial/TrivialRecovery.java          | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bundles/jamopp.resolution/src/jamopp/recovery/trivial/TrivialRecovery.java b/bundles/jamopp.resolution/src/jamopp/recovery/trivial/TrivialRecovery.java
index 590a83ed..2ae4e06b 100644
--- a/bundles/jamopp.resolution/src/jamopp/recovery/trivial/TrivialRecovery.java
+++ b/bundles/jamopp.resolution/src/jamopp/recovery/trivial/TrivialRecovery.java
@@ -112,8 +112,8 @@ private EObject recoverActualElement(EObject obj) {
 			this.artFields.put(name, result);
 			return result;
 		} else if (obj instanceof EnumConstant) {
-			if (this.artConstants.containsKey(obj)) {
-				return this.artConstants.get(obj);
+			if (this.artConstants.containsKey(name)) {
+				return this.artConstants.get(name);
 			}
 			var result = MembersFactory.eINSTANCE.createEnumConstant();
 			result.setName(name);