diff --git a/kernel/src/main/java/org/kframework/utils/file/JarInfo.java b/kernel/src/main/java/org/kframework/utils/file/JarInfo.java
index ab53c097268..b3b58d0b1bd 100644
--- a/kernel/src/main/java/org/kframework/utils/file/JarInfo.java
+++ b/kernel/src/main/java/org/kframework/utils/file/JarInfo.java
@@ -34,7 +34,6 @@ public static String getKBase() {
         String decodedPath = URLDecoder.decode(path, StandardCharsets.UTF_8);
         File parent = new File(decodedPath).getParentFile().getParentFile().getParentFile().getParentFile();
         return parent.getAbsolutePath();
-        return null;
     }
 
     /**