save
Merge branch 'master' of
https://github.com/ntsmwk/RainbowsAndUnicornsG10

Conflicts:
	src/at/jku/cp/rau/search/algorithms/ASTAR.java