diff --git a/Helpers.jrag b/Helpers.jrag
index 004bb7b9c3398d1b97ae5b2c6bf46339662c839c..8c1ff5650a1619fb604a7f96de82ca32e858ffa4 100644
--- a/Helpers.jrag
+++ b/Helpers.jrag
@@ -14,4 +14,13 @@ aspect Helpers {
   public void MappingElement.addKeyValuePair(String key, Element value) {
     addKeyValuePair(new KeyValuePair(key, value));
   }
+
+  public java.util.Optional<Element> MappingElement.getValue(String key) {
+    for (KeyValuePair pair : getKeyValuePairList()) {
+      if (pair.getKey().equals(key)) {
+        return java.util.Optional.of(pair.getValue());
+      }
+    }
+    return java.util.Optional.empty();
+  }
 }