kframework/k — pull request #1029 by dwightguth (2014-10-02 22:31:39+00:00)
Title: update pom to allow cross platform compilation

@cos please review

I have tested on ubuntu 12.04, mac os x 10.9, and windows with various default jvms.