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

         for (Path p : sources) {
             args.add(p.toString());
             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;
             ByteArrayInputStream in = new ByteArrayInputStream(new byte[0]);
             ByteArrayOutputStream out = new ByteArrayOutputStream();
 
             // Single-threaded context!
+            boolean ok = false;
             try {
                 PrintStream out_stream = new PrintStream(out);
                 System.setIn(in);
                 System.setOut(out_stream);
                 System.setErr(out_stream);