refactor and remove GlobalSettings.kem
add missing call to KEMException.register
fix copyright
Added better error message for when SDF crashes, to indicate the line number of the rule in question.
Merge branch 'master' into sdfCrashMessage
fix test error
Using RuntimeException instead of just Exception.
Adding warning suppressors for the RuntimeException from SDF parser.
Suppressor, one more time...
Learning by trying...
split Cell2DS and JavaBackendCell2DS properly; fixed JavaBackendCell2DS
fixed RewriteEngineUtils#evaluateConditions
fixed side condition evaluation properly
added some comment
added defensive code for concatenating two maps with common keys
relaxed the check of AC-Matching to be more accurate
fixed ConstrainedTerm#unify; added defensive code to check unsplit disjuctions
Merge pull request #1109 from kframework/sdfCrashMessage

Added better error message for when SDF crashes
fix code review comments
Merge branch 'master' into staticstatekem

Conflicts:
	k-core/src/main/java/org/kframework/compile/transformers/ResolveBlockingInput.java
	k-core/src/main/java/org/kframework/kil/Definition.java
	k-core/src/main/java/org/kframework/kil/loader/Context.java