src/Pure/General/sqlite.scala

--- a/src/Pure/General/sqlite.scala	Tue Oct 11 10:21:32 2016 +0200
+++ b/src/Pure/General/sqlite.scala	Tue Oct 11 10:43:27 2016 +0200
@@ -27,7 +27,7 @@
   {
     override def toString: String = path.toString
 
-    def close { connection.close }
+    def close() { connection.close }
 
     def rebuild { using(statement("VACUUM"))(_.execute()) }