Fix for Issue #720
Spaces -> checkstyle failure :(
Checkstyle - Copyright
Removed trailing whitespace.
Merge pull request #730 from kframework/patch-for-issue-#720

Fix for Issue #720