Commit for pulling
Merge branch 'master' of https://github.com/JanaWengenroth/GKA1
Merge branch 'master' of https://github.com/JanaWengenroth/GKA1
Corrected equals and hashcode at GKA/Graph/GKAEdge.java