Created Action for KeY-based proof. Renamed method.
Merge remote-tracking branch 'trunk/master'
Create feature stubs.
Completed the generation of feature stubs.
Integrated KeY.
Refactoring.
Added Type check with Fuji to Feature Stub generation.
Feature Stub Generation: Replace message dialogue for external libraries
with message in error log.
Added Transformation of Method Contracts into Abstract Method Contracts
in Feature Stub Generation.
Merge remote-tracking branch 'Master/master'

Conflicts:
	plugins/de.ovgu.featureide.core.featurehouse/src/de/ovgu/featureide/featurehouse/FeatureHouseComposer.java
	plugins/de.ovgu.featureide.core.featurehouse/src/de/ovgu/featureide/featurehouse/model/ClassBuilder.java
	plugins/de.ovgu.featureide.core.featurehouse/src/de/ovgu/featureide/featurehouse/model/JavaClassBuilder.java
	plugins/de.ovgu.featureide.core.mpl/src/de/ovgu/featureide/core/mpl/job/CreateFujiSignaturesJob.java
	plugins/de.ovgu.featureide.core/src/de/ovgu/featureide/core/fstmodel/FSTMethod.java
	plugins/de.ovgu.featureide.core/src/de/ovgu/featureide/core/internal/FeatureProject.java
Created Wrapper for Proving with KeY
Merge remote-tracking branch 'Master/master'

Conflicts:
	plugins/de.ovgu.featureide.core.featurehouse/.classpath