Fix for issue #116 regarding wrong displaying of contracts in
Collaboration Outline.
Fix for issue #109 regarding not properly displayed invariants. 
Added error message when importing invariant fails.
Replaced tab and new line signs with whitespaces and removed keyword
invariant_redundantly for collaboration diagram.
Removed unnecessary code.
Correct invariants in example IntList-FH-JML.
Fix for issue #115 regarding missing methods in Collaboration Outline.
Merge branch 'master' into 092014_ContractRelatedBugs

Conflicts:
	plugins/de.ovgu.featureide.ui/src/de/ovgu/featureide/ui/views/collaboration/outline/CollaborationOutlineTreeContentProvider.java
Inserted regular expression into check for keywords in FSTInvariant.
Merge branch '092014_ContractRelatedBugs'

Conflicts:
	plugins/de.ovgu.featureide.ui/src/de/ovgu/featureide/ui/views/collaboration/CollaborationView.java
Merge branch 'master' of git@github.com:tthuem/FeatureIDE.git