--- a/src/Pure/General/ssh.scala Sat Jun 01 12:31:06 2024 +0200 +++ b/src/Pure/General/ssh.scala Sat Jun 01 12:35:38 2024 +0200 @@ -9,7 +9,6 @@ import java.util.{Map => JMap} -import java.io.{File => JFile} import scala.annotation.tailrec