Issue #816: Upgrade to HSQLDB 2.3.2
Also update the version used when building the database