printed Java rewrite engine statistics only when --statistics is on
fixed ConcreteCollectionVariable#matchConcreteSize
addressed Andrei's comment
Merge branch 'master' into fixing-issue-979
Merge branch 'master' into fixing-issue-987
add java.awt.headless to unit tests
Merge pull request #993 from dwightguth/awt

add java.awt.headless to unit tests
Merge pull request #992 from yilongli/fixing-issue-987

printed Java rewrite engine statistics only when --statistics is on
Merge pull request #989 from yilongli/fixing-issue-979

fixed ConcreteCollectionVariable#matchConcreteSize
some improvements in java backend strategy rule iterators
fixed io.k
Merge pull request #999 from osa1/java-backend-refactoring

some improvements in java backend strategy rule iterators
removed some garbage
second try
fixed a bunch of missing methods related to FloatToken
used --z3-executable for example multiplication_by_addition
Merge pull request #1001 from yilongli/quick-fix-for-float

fixed a bunch of missing methods related to FloatToken
Merge pull request #1000 from yilongli/fixing-issue-995

fixing issue 995
KItem built from KLabelInjection and empty KList should have exact sort
removed dead code related to test generation