kframework/k — pull request #961 by osa1 (2014-09-17 18:46:22+00:00)
Title: fix some of wrong comparisons in MaudeKRun to fix a test

I realized this while trying to make tests working under Java 8.

Note that static analyzers are reporting a lot of warnings about compare methods. They'll become a problem sooner or later. I'll open a separate issue for that.