make the maude backend output more deterministic
fix copyright
make the sorting less intrusive to non-confluent definitions
update kool transition to use rule tag
fix code review comments
use search pattern for kool cycle
translated more Java KIL classes to generic KIL by using BackendTerm
Merge pull request #711 from dwightguth/maude-order

make the maude backend output more deterministic
subsorted KResult to KItem instead of K
Merge pull request #726 from yilongli/fixing-issue-#722

translated more Java KIL classes to generic KIL by using BackendTerm
Merge pull request #728 from yilongli/fixing-issue-#718

subsorted KResult to KItem instead of K
Merge branch 'unified-builtins2' into checkstyle2
fix more whitespace problems