kframework/k — pull request #76 by osa1 (2013-10-09 01:51:21+00:00)
Title: update ideaj project structure (xstream lib removed, project updated to ...

...java 1.7)