--- a/src/Tools/Setup/isabelle/setup/Build.java Sat Jul 17 10:47:42 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java Sat Jul 17 12:59:47 2021 +0200
@@ -229,8 +229,6 @@
if (p.toString().endsWith(".scala")) { scala_sources = true; }
}
if (scala_sources) {
- boolean ok = false;
-
InputStream in_orig = System.in;
PrintStream out_orig = System.out;
PrintStream err_orig = System.err;
@@ -238,6 +236,7 @@
ByteArrayOutputStream out = new ByteArrayOutputStream();
// Single-threaded context!
+ boolean ok = false;
try {
PrintStream out_stream = new PrintStream(out);
System.setIn(in);