fixed BuiltinCollectionOperations#size
Merge pull request #983 from yilongli/fixing-issue-981

fixed BuiltinCollectionOperations#size
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