# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1411592010 -7200
# Node ID 5a5fc66f11b140ba12d2d2c2ef72356335baf79a
# Parent  5cc7fdad1452a2074c7d49a8088e2af23abf211c
final properties

diff -r 5cc7fdad1452 -r 5a5fc66f11b1 java/sql-dk/src/info/globalcode/sql/dk/DatabaseConnection.java
--- a/java/sql-dk/src/info/globalcode/sql/dk/DatabaseConnection.java	Fri May 09 14:16:45 2014 +0200
+++ b/java/sql-dk/src/info/globalcode/sql/dk/DatabaseConnection.java	Wed Sep 24 22:53:30 2014 +0200
@@ -47,9 +47,9 @@
 	private static final Logger log = Logger.getLogger(DatabaseConnection.class.getName());
 	private static final String JDBC_PROPERTY_USER = "user";
 	public static final String JDBC_PROPERTY_PASSWORD = "password";
-	private DatabaseDefinition databaseDefinition;
-	private Connection connection;
-	private Properties properties;
+	private final DatabaseDefinition databaseDefinition;
+	private final Connection connection;
+	private final Properties properties;
 
 	public DatabaseConnection(DatabaseDefinition databaseDefinition, Properties properties) throws SQLException {
 		this.databaseDefinition = databaseDefinition;