Fix for issue #115 regarding missing methods in Collaboration Outline.
fixed issue #108 indeterminate hidden features with dashed border
issue #93: Highlighting with FeatureBorderColor(instead of ConcreteBC)
Merge branch 'master' of https://github.com/tthuem/FeatureIDE
Update Pluginbuilder to include Android project.
Merge branch 'master' of git@github.com:tthuem/FeatureIDE.git
Changed contract-composition mechanism in DiGraph
Changed contract-composition mechanism and keywords in Elevator example
Changed contract-composition mechanism and keywords in Email example
Removed generated files from index
Removed generated files from index
Added settings for GPLscratch example
Removed generated files
Removed generated files
Changed contracts in StringMatcher example
Added contract-composition keywords in Poker example
Changed contract-composition mechanism and keywords in Paycard example
Added example based on previous examples
Changed contract-composition mechanism and keywords in UnionFind example
Added ExamDB example without pure-method refinement