runtimeverification/javamop — pull request #103 by seriousamlqz (2014-10-02 16:14:57+00:00)
Title: update INSTALL.md to with the new generated binary

@xiaohe27 and @kheradmand please review this INSTALL file with the new binary file. This change should go after #102.