kframework/k — pull request #378 by mdmkolbe (2014-04-14 18:01:08+00:00)
Title: Newparser null warnings

I minor tweak to the code that fixes unnecessary/redundant initializations noted by InteliJ.