src/Pure/Admin/isabelle_cronjob.scala

--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu Apr 27 11:41:13 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu Apr 27 15:56:55 2017 +0200
@@ -89,7 +89,7 @@
   sealed case class Remote_Build(
     host: String,
     user: String = "",
-    port: Int = SSH.default_port,
+    port: Int = 0,
     shared_home: Boolean = true,
     options: String = "",
     args: String = "")