1 files changed, 0 insertions, 11 deletions

diff --git a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketResponse.java b/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketResponse.java
deleted file mode 100644
index 2e7cfbbb..00000000
--- a/language-web/src/main/java/tools/refinery/language/web/xtext/servlet/XtextWebSocketResponse.java
+++ /dev/null
@@ -1,11 +0,0 @@
-package tools.refinery.language.web.xtext.servlet;
-
-public sealed interface XtextWebSocketResponse permits XtextWebSocketOkResponse,XtextWebSocketErrorResponse {
-        public String getId();
-
-        public void setId(String id);
-
-        public int getIndex();
-
-        public void setIndex(int index);
-}