Merge branch 'release/2.1'

src/eu/telecom_bretagne/praxis/server/Serveur.java

@@ -100,8 +100,8 @@ public class Serveur extends UnicastRemoteObject implements RemoteServerInterfac
 				serveur    = new Serveur();
 			boolean createDB = !new File(resultStoreDBFilename).exists();
 			Class.forName("org.sqlite.JDBC").newInstance();
-			try ( Connection c = DriverManager.getConnection("jdbc:sqlite:/" + resultStoreDBFilename) )
-			{
+			@SuppressWarnings("resource") // does not leak! it is used by the ResultStore object! do NOT close it!
+			Connection c = DriverManager.getConnection("jdbc:sqlite:/" + resultStoreDBFilename);
 			if (createDB)
 			{
 				c.createStatement().execute(ResultStore.RESULT_db_schema);
@@ -119,7 +119,6 @@ public class Serveur extends UnicastRemoteObject implements RemoteServerInterfac
 			}
 			resultStore = new ResultStore(c);
 		}
-		}
 		catch (Exception e)
 		{
 			Log.log.log(Level.SEVERE, "Unable to create database", e);