Fix Path bug (#3810)

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/proof/io/UrlRuleSource.java

@@ -61,11 +61,11 @@ public Path file() {
             try {
                 return Paths.get(uri);
             } catch (FileSystemNotFoundException e) {
-                URI rootFs = URI.create(StringUtil.takeUntil(uri.toString(), "\\!"));
-                String internal = StringUtil.takeAfter(uri.toString(), "\\!");
-                try (FileSystem zipfs = FileSystems.newFileSystem(rootFs, new HashMap<>())) {
-                    return zipfs.getPath(internal);
-                }
+                URI rootFs = URI.create(StringUtil.takeUntil(uri.toString(), "!"));
+                String internal = StringUtil.takeAfter(uri.toString(), "!");
+                // keep the file system open.
+                FileSystem zipfs = FileSystems.newFileSystem(rootFs, new HashMap<>());
+                return zipfs.getPath(internal);
             }
         } catch (URISyntaxException | IOException e) {
             throw new RuntimeException(e);

key.util/src/main/java/org/key_project/util/java/StringUtil.java

@@ -504,14 +504,14 @@ public static String move(@NonNull String text, int line, int charPositionInLine
 
     /// Returns the string until the first match of the given regex.
     public static String takeUntil(String content, String regex) {
-        var array = content.split(regex, 1);
+        var array = content.split(regex, 2);
         return array[0];
     }
 
     /// Returns the string after the first match of the given regex.
     public static String takeAfter(String content, String regex) {
-        var array = content.split(regex, 1);
-        return array[0];
+        var array = content.split(regex, 2);
+        return array[1];
     }