Alloy2XMI.java created