+ /**\r
+ * Sets the database driver to be used by the platform. To have any effect,\r
+ * this must be set before platform startup.\r
+ * \r
+ * @param id driver id\r
+ */\r
+ public static void setDefaultDatabaseDriver(String id) {\r
+ defaultDatabaseDriverId = id;\r
+ }\r
+\r
+ /**\r
+ * Returns currently set default database driver id.\r
+ */\r
+ public static String getDefaultDatabaseDriver() {\r
+ return defaultDatabaseDriverId;\r
+ }\r
+\r