i changed this up a bit
Merge branch 'master' of
https://github.com/BugwarsREU-JPFTeam/jpf-core2.git

Conflicts:
	src/examples/recursive_branching_jpf.java