diff -r 1f31ed84c467 -r 3556303bd385 src/Tools/Setup/isabelle/setup/Environment.java
--- a/src/Tools/Setup/isabelle/setup/Environment.java	Fri Jul 02 12:23:42 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Environment.java	Fri Jul 02 14:08:45 2021 +0200
@@ -39,7 +39,7 @@
 
     /* system path representations */
 
-    private static String slashes(String s) { return s.replace('\\', '/'); }
+    public static String slashes(String s) { return s.replace('\\', '/'); }
 
     public static String standard_path(String cygwin_root, String platform_path)
     {