Added Statistic-class to replace map
Merge branch 'production' of https://github.com/erwinvaneyk/crawljax-functional-testing-suite into production

Conflicts:
	src/main/java/analysis/StateAnalysisMetric.java