upgrade hsqldb to 2.3.1