kframework/k — pull request #42 by osa1 (2013-09-24 22:45:44+00:00)
Title: fix some types, minor refactoring

in the commit ecd17c0 `matchingLogic` variable is renamed with `javaBackend` to avoid confusion.

second commit fixes some typos and makes some refactoring.

please note that I couldn't run the test suite because it takes forever to run on my machine.