src/Pure/General/ssh.scala

--- a/src/Pure/General/ssh.scala	Wed Sep 14 22:24:06 2022 +0200
+++ b/src/Pure/General/ssh.scala	Wed Sep 14 22:24:12 2022 +0200
@@ -9,7 +9,6 @@
 
 
 import java.util.{Map => JMap}
-import java.net.ServerSocket
 
 
 object SSH {