quickfix for reloading problems with JavaRedux inside zip/jar

Author: WolframPfeifer

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

@@ -236,8 +236,17 @@ private String makePathsRelative(Path basePath, KeyAst.@Nullable Declarations he
             out.println();
             Path bootClassPath = jm.getBootClassPath();
             if (bootClassPath != null) {
-                out.printf("\\bootclasspath \"%s\";\n",
-                    safePathRelativeTo(bootClassPath, basePath));
+                if (!bootClassPath.toUri().getScheme().equals("file")) {
+                    /*
+                     * This happens if JavaRedux (the default bootclasspath) is read from a zip.
+                     * Since we do not support non-file includes, we need to skip it ...
+                     */
+                    LOGGER.info("Bootclasspath is not a file (probably default bcp inside a zip/jar"
+                        + " file), skipping: " + bootClassPath);
+                } else {
+                    out.printf("\\bootclasspath \"%s\";\n",
+                        safePathRelativeTo(bootClassPath, basePath));
+                }
             }
 
             List<Path> classPath = jm.getClassPath();