src/Pure/General/sql.scala

--- a/src/Pure/General/sql.scala	Mon Dec 03 12:30:37 2018 +0100
+++ b/src/Pure/General/sql.scala	Mon Dec 03 14:59:42 2018 +0100
@@ -6,6 +6,7 @@
 
 package isabelle
 
+
 import java.time.OffsetDateTime
 import java.sql.{DriverManager, Connection, PreparedStatement, ResultSet}
 
@@ -189,6 +190,7 @@
   /* statements */
 
   class Statement private[SQL](val db: Database, val rep: PreparedStatement)
+    extends AutoCloseable
   {
     stmt =>
 
@@ -306,7 +308,7 @@
 
   /* database */
 
-  trait Database
+  trait Database extends AutoCloseable
   {
     db =>