Updated mirror for hsqldb.