HSQLDB manager configuration hint