kframework/k — pull request #831 by dwightguth (2014-08-12 20:45:08+00:00)
Title: Maven

This is going to fail on Jenkins, so we'll deal with Jenkins separately, right now I just want feedback on the diff.