kframework/k — pull request #723 by dwightguth (2014-07-16 19:56:01+00:00)
Title: add checkstyle whitespace checks

I think it's time to add this checkstyle check.

@radumereuta please review