Added official Alloy 4.2 JAR file contents.