Update to Alloy 1.4.1 and TI 3.3.0.GA
Close labels.