kframework/kweb — pull request #18 by kheradmand (2014-11-03 12:06:46+00:00)
Title: integrated javamop into kweb

@pdaian @grosu
I added minimum necessary functionally to kweb for supporting javamop. I must confess that this is not a clean solution.
I first started making clean generalizations for supporting both javamop and k (and possibility other projects) in clean way. But after spending 2 days, I realized that it is really a waste of time at this stage. So I ignored those and added minimum required changes to support javamop in addition to k. We can refactor the code later when we have more time.