completed transition to Alloy4.2.jar - fixed manifest