hsqldb settings file