properties for hsql