kframework/k — pull request #962 by dwightguth (2014-09-17 20:46:48+00:00)
Title: fix various findbugs errors categorized CORRECTNESS and BAD_PRACTICE

**do not review yet**