strange problem
Trying to fix null pointer exceptions
Add fault tolerance
Group hits correctly
Draft a reducer
Merge remote-tracking branch 'upstream/master'
Resolving conflicts
Conflicts:
	src/main/java/de/tuberlin/dima/schubotz/fse/FormulaMapper.java
	src/main/java/de/tuberlin/dima/schubotz/fse/FormulaTuple.java
	src/main/java/de/tuberlin/dima/schubotz/fse/HitTuple.java
	src/main/java/de/tuberlin/dima/schubotz/fse/MainProgram.java
	src/main/java/de/tuberlin/dima/schubotz/fse/ResultTuple.java
	src/test/java/de/tuberlin/dima/schubotz/fse/XMLHelperTest.java