--- a/src/Pure/build-jars Sun Oct 09 16:27:01 2016 +0200
+++ b/src/Pure/build-jars Sun Oct 09 23:08:40 2016 +0200
@@ -48,6 +48,7 @@
General/sha1.scala
General/sql.scala
General/sqlite.scala
+ General/ssh.scala
General/symbol.scala
General/time.scala
General/timing.scala