Cache the database name in the Hibernate-based storage

Each call to setDatabase() makes two calls to getDatabaseProductName, which in turn calls getMetaData on the connection, and which in turn is a very fat object retrieved from the database. This is a serious performance hit... I doubt that the database changes that often behind the server, so I guess it's safe to do a lazy initialization for an instance field.