kframework/k — pull request #439 by dwightguth (2014-05-13 15:25:40+00:00)
Title: refactor krun options to use JCommander

Refactor krun to remove most of the static state, and use JCommander to parse the options. This commit is not yet tested, so please do not review yet. I just want to invoke Jenkins on it.