From b1e53280a6499c37e0ae41164171ae2a040aea3a Mon Sep 17 00:00:00 2001
From: erik-krogh <erik-krogh@github.com>
Date: Mon, 29 Aug 2022 13:25:37 +0200
Subject: [PATCH] fix that the wrong line got deleted

---
 java/ql/src/Frameworks/JavaEE/EJB/EjbSetSocketOrUrlFactory.ql | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/ql/src/Frameworks/JavaEE/EJB/EjbSetSocketOrUrlFactory.ql b/java/ql/src/Frameworks/JavaEE/EJB/EjbSetSocketOrUrlFactory.ql
index c46b2ec0996..4a1524ee1b3 100644
--- a/java/ql/src/Frameworks/JavaEE/EJB/EjbSetSocketOrUrlFactory.ql
+++ b/java/ql/src/Frameworks/JavaEE/EJB/EjbSetSocketOrUrlFactory.ql
@@ -4,7 +4,7 @@
  *              or the stream handler factory used by URL. Such operations could
  *              compromise security or interfere with the EJB container's operation.
  * @kind problem
- * @security-severity 5.8
+ * @problem.severity error
  * @precision low
  * @id java/ejb/socket-or-stream-handler-factory
  * @tags reliability