bin/org.alloytools.alloy.dist.jar (10723538 bytes) exceeds the storage limit; its content is not kept.