1 files changed, 0 insertions, 26 deletions

diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/SimpleServiceContext.java b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/SimpleServiceContext.java
deleted file mode 100644
index 43e37160..00000000
--- a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/SimpleServiceContext.java
+++ /dev/null
@@ -1,26 +0,0 @@
-package tools.refinery.language.web.xtext.servlet;
-
-import java.util.Map;
-import java.util.Set;
-
-import org.eclipse.xtext.web.server.IServiceContext;
-import org.eclipse.xtext.web.server.ISession;
-
-import com.google.common.collect.ImmutableSet;
-
-public record SimpleServiceContext(ISession session, Map<String, String> parameters) implements IServiceContext {
-        @Override
-        public Set<String> getParameterKeys() {
-                return ImmutableSet.copyOf(parameters.keySet());
-        }
-
-        @Override
-        public String getParameter(String key) {
-                return parameters.get(key);
-        }
-
-        @Override
-        public ISession getSession() {
-                return session;
-        }
-}