changed solver to match new HEROS version
fixed a NullPointerException and made private what ought to be private right from the start
added a callback on result completion
correcting line endings
changes for nightly build
junit task
junit.jar
corrected paths
take tests from source
compile test sources to classes
.
.
adding hamcrest (needed for junit)
.gitignore
include more test cases
include debug symbols
fixed initialization of handler set
@Steven: you should please test your changes better...
more memory for tests
Merge branch 'develop' of ssh://github.com/secure-software-engineering/soot-infoflow into merge-develop

Conflicts:
	build.xml
	src/soot/jimple/infoflow/AbstractInfoflowProblem.java
	src/soot/jimple/infoflow/BackwardsInfoflowProblem.java
	src/soot/jimple/infoflow/Infoflow.java
	src/soot/jimple/infoflow/InfoflowProblem.java
	src/soot/jimple/infoflow/entryPointCreators/DefaultEntryPointCreator.java
	src/soot/jimple/infoflow/heros/InfoflowSolver.java
	src/soot/jimple/infoflow/util/ArgParser.java