initial commmit.
FSTContract erstellt.
Mehr Statistiken erstellt.
Huge Refactoring.
Statistics nearly completed.
Contract refinements
Verfeinerungsstatistiken vervollständigt.
Nicht berücksichtigte Dateien zum Index hinzugefügt.
Feature-Order in Collaboration Outline  hinzugefügt.
Collaboration Outline - Icons.
Collaboration Diagram - Kontextmenü-Eintrag hinzugefügt.
Kontrakte und Klasseninvarianten in Collaboration Outline und
Collaboration Diagram hinzugefügt.
Anzeige der Methoden und Felder in Collaboration Outline neugestaltet.
Refactoring - FSTContract -> FSTInvariant, Labeling
Invarianten in Collaboration Diagram und Collaboration Outline
hinzugefügt.
Fehlermarkierungen angefangen
mehr Fehlermarker.
Fehlermarker nach Abhängigkeitsbaum bei Komtraktkompositionen
hinzugefügt.
Fehlermarker bei Redifiniton einer Final_method-markierten Methode
hinzugefügt.
Refactoring Fehlermarker in FeatureHouseComposer
Zahlreiche Bugfixes.
Fehlermarker für final_method, fehlerhafte ContractComposition an falsch
überschreibende Methode gesetzt.
FSTContractedRole hinzugefügt für Collaboration-Outline
Fehlermarker bei falsch optionalen Features korrigiert.
Bugs gefixt.
Invarianten-Tooltip in Collaboration Diagram hinzugefügt.
Refactoring bei Kontraktfehlermarkern
Bugfixes
Refactoring (überflüssige Imports entfernt, Code formatiert, lange
Methode gekürzt)