Eng 6044 hsql hashindex more verbose