src/Pure/General/sql.scala

--- a/src/Pure/General/sql.scala	Sat Jul 15 19:34:48 2023 +0200
+++ b/src/Pure/General/sql.scala	Sat Jul 15 19:55:32 2023 +0200
@@ -618,8 +618,6 @@
     database: String = "",
     server: SSH.Server = default_server,
     server_close: Boolean = false,
-    // see https://www.postgresql.org/docs/current/transaction-iso.html
-    transaction_isolation: Int = Connection.TRANSACTION_SERIALIZABLE
   ): Database = {
     init_jdbc
 
@@ -633,7 +631,6 @@
     val print = user + "@" + server + "/" + name + if_proper(ssh, " via ssh " + ssh.get)
 
     val connection = DriverManager.getConnection(url, user, password)
-    connection.setTransactionIsolation(transaction_isolation)
     new Database(connection, print, server, server_close)
   }