# HG changeset patch
# User wenzelm
# Date 1626466152 -7200
# Node ID bad67fa41e71e5aab9483db43b8ce443c97e8f03
# Parent  08cece720cb584467a338a5924d1b43bf00c808f
more robust;

diff -r 08cece720cb5 -r bad67fa41e71 src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 16 21:37:19 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 16 22:09:12 2021 +0200
@@ -246,7 +246,7 @@
                 System.setOut(out_orig);
                 System.setErr(err_orig);
             }
-            compiler_result(ok, out.toString(), "Scala sources");
+            compiler_result(ok, out.toString(StandardCharsets.UTF_8), "Scala sources");
         }
     }