Cloned from http://www.hsqldb.org