provide hsqldb.version property