--- a/src/Pure/General/ssh.scala Tue Feb 11 23:31:12 2025 +0100 +++ b/src/Pure/General/ssh.scala Wed Feb 12 00:40:57 2025 +0100 @@ -8,8 +8,6 @@ package isabelle -import java.util.{Map => JMap} - import scala.annotation.tailrec