runtimeverification/javamop — pull request #157 by xiaohe27 (2014-10-27 17:16:49+00:00)
Title: update the link to the ajc patch

@kheradmand just provided me the direct link to the ajc patch file, and I updated the link in the readme. I think it is somewhat overkill to use zip file to compress a 20-KB file. @seriousamlqz plz review