Completed the generation of feature stubs.
Integrated KeY.
Refactoring.
Added Type check with Fuji to Feature Stub generation.