kframework/k — pull request #263 by paulp (2014-03-03 20:20:25+00:00)
Title: Eliminate tabs from source file.

Without this, "ant test" fails with
```
checkstyle:
[checkstyle] Running Checkstyle 5.7 on 701 files
[checkstyle] AbstractMatcher.java:15:1: File contains tab characters
(this is the first instance).
```