removed superfluous type parameter from PathEdge
Merge branch 'develop' into forks/java-fw-bw

Conflicts:
	src/heros/solver/IDESolver.java
changed signature of "propagate" to include original call site for return and call flows

modified bidi solver to changed attached source statement on return