Fix hsqldb resolution problem