Map for Wighted Random
Merge branch 'master' of https://github.com/margaritaG/testingtool.git
test of weighted
hey another commit for test of weighted random
Merge branch 'master' of https://github.com/margaritaG/testingtool.git

Conflicts:
	jatege/src/test/java/ch/ethz/inf/students/testgen/WeightedRandomTest.java