improved formatting for generated JML comments
removed unused import
Removed override annotation (@Override) from original methods, if they
are refined
Merge remote-tracking branch 'upstream/master'
Merge pull request #10 from fbenduhn/master

Minor changes related to JML
Composition works
Cumulative / Conjunctive must be implemented
composition for method based started
fixed wrong method call at Metaproduct-FeatureModel fm() -> valid()
Removing Keywords in contracts during the composition
Extended FSTTerminal -> stores the contract composition keyword now
Vorbedingungen fuer conjunctive cr works
Cumulative Contract Refinement works

TODO: Conj + Cum CR Multiple Spec Cases
Conj CR + Cumu CR refactored
Cumulative + Conjunctive Contract Refinement work
Check if composition contains non jml keywords
TODO throw exception
Check if Method is refined when using keyword \final_method
 -> not allowed
Switched Deletion of ContractCompKeywords from CompoistionTime to FST
Generationtime.
This is important, if no Compisition is done.

Fixed bugs for \\final_method
Fixed bugs for brackets in cumulative / conjunctive contract refinement
Switched Deletion of ContractCompKeywords from CompositionTime to
FSTGenerationtime.
This is important, if no Composition is done.

Fixed bugs for \\final_method
Fixed bugs for brackets in cumulative / conjunctive contract refinement
Include Composition Exception
Composition Exception
CompositionException fixed