Alloy 1.5.0 GA