commit
Merge branch 'master' of https://github.com/dima888/GKA

Conflicts:
	src/graph_lib/AIGraph.java
Überarbeitet