tuned;

--- a/src/Pure/General/sql.scala	Thu Feb 09 16:56:31 2017 +0100
+++ b/src/Pure/General/sql.scala	Thu Feb 09 16:58:27 2017 +0100
@@ -195,6 +195,9 @@
   }
 
 
+
+  /** SQL database operations **/
+
   /* results */
 
   def iterator[A](rs: ResultSet)(get: ResultSet => A): Iterator[A] = new Iterator[A]
@@ -204,10 +207,6 @@
     def next: A = { val x = get(rs); _next = rs.next(); x }
   }
 
-
-
-  /** SQL database operations **/
-
   trait Database
   {
     /* types */