kframework/k — pull request #408 by dwightguth (2014-05-02 16:57:34+00:00)
Title: fix NullPointerException in krun shutdown hook

Fix for #407

@radumereuta please review.