Scripts to deal with the local HSQLDB server