[VarEnc] add thenFeature/elseFeature to featureSwitch annotations
fixed handling of import statements
ignore JML single-line comments just like regular java comments
Merge pull request #7 from fbenduhn/master

changes to jml contract composition
Merge remote-tracking branch 'upstream/master'
CompositionRuleset now allows hooking into composition process
move setup of composition rules from constructor to configure method