src/Tools/Setup/isabelle/setup/Library.java

--- a/src/Tools/Setup/isabelle/setup/Library.java	Sat Jul 17 12:59:47 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Library.java	Sat Jul 17 13:42:21 2021 +0200
@@ -14,6 +14,11 @@
 
 public class Library
 {
+    public static String quote(String s)
+    {
+        return "\"" + s + "\"";
+    }
+
     public static String cat_lines(Iterable<? extends CharSequence> lines)
     {
         return String.join("\n", lines);