Update Resolute as OSATE now uses set.property internally instead of set::property. Fixes #22.