--- a/src/Pure/System/isabelle_system.scala Thu Apr 22 10:11:11 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala Thu Apr 22 10:55:31 2021 +0200
@@ -13,6 +13,7 @@
StandardCopyOption, FileSystemException}
import java.nio.file.attribute.BasicFileAttributes
+import scala.jdk.CollectionConverters._
object Isabelle_System
@@ -465,7 +466,7 @@
redirect: Boolean = false): Process =
{
val proc = new ProcessBuilder
- proc.command(command_line:_*) // fragile on Windows
+ proc.command(command_line.asJava) // fragile on Windows
if (cwd != null) proc.directory(cwd)
if (env != null) {
proc.environment.clear()