No matches were found for subject:"Bug#1007031\: hsqldb1.8.0\: please consider upgrading to 3.0 source format"