[jboss-as7-dev] GitHub zipball creating inconsistent source zips?