all heap examples use z3 executable
printed Java rewrite engine statistics only when --statistics is on
Merge pull request #988 from andreistefanescu/master

all heap examples use z3 executable
split pom into distinct modules
rename files
rename files
modify files to make new directory layout work
fix copyright
fix copyright
relax copyright restrictions for file extensions not part of main code base
rename file
change developer readme to list new PATH variable
rename file
update batch scripts with new path to jar
fix IDE support
update readme with new eclipse instructions
fix integration tests
fix integration tests
fix integration test without breaking kompile
add line about eclipse to readme