Better look at what might be hsqldb file contents