src/Pure/General/ssh.scala

--- a/src/Pure/General/ssh.scala	Wed Jun 30 21:35:30 2021 +0200
+++ b/src/Pure/General/ssh.scala	Wed Jun 30 22:14:27 2021 +0200
@@ -7,7 +7,7 @@
 package isabelle
 
 
-import java.util.{Map => JMap, HashMap}
+import java.util.{Map => JMap}
 import java.io.{InputStream, OutputStream, ByteArrayOutputStream}
 
 import scala.collection.mutable