1 files changed, 3 insertions, 1 deletions

diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java
index 7b48cde8..e98d115e 100644
--- a/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java
@@ -10,8 +10,10 @@ import org.eclipse.xtext.util.DisposableRegistry;
 import jakarta.servlet.ServletException;
 import tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet;
 
-public class ProblemWebSocketServlet extends XtextWebSocketServlet {
+import java.io.Serial;
 
+public class ProblemWebSocketServlet extends XtextWebSocketServlet {
+        @Serial
         private static final long serialVersionUID = -7040955470384797008L;
 
         private transient DisposableRegistry disposableRegistry;