fixed Term#compareTo to conform to its general contract
Merge pull request #1074 from yilongli/fixing-issue-1073

fixed Term#compareTo to conform to its general contract
ktest bugfix: krun steps should be added only when kompile is successful
Merge pull request #1075 from osa1/ktest-bugfix

ktest bugfix: krun steps should be added only when kompile is successful
minor cleanup of rewriters
updated regex to fixed failing test
suppressed checkstyle on Java 8 syntax for now
Merge pull request #1076 from yilongli/minor-cleanup-of-rewriter

minor cleanup of rewriters
Merge remote-tracking branch 'upstream/master'

Conflicts:
	pom.xml