fix bugs @ 55, 56, 57
Collaboration View
Merge branch 'master' of ssh://git@github.com/tthuem/FeatureIDE.git

Conflicts:
	plugins/de.ovgu.featureide.core.mpl/src/de/ovgu/featureide/core/mpl/job/BuildStatisticsJob.java