Must do:
	Lamport und Vektorzeitstempel nicht nur bei nachrichten sondern auch bei anderen ereignissen unkrementieren (einstellbar)
	Warn if a file does not exists while trying to open!
	"Simulatorseinstelungen" falsch geschrieben
	Beschreiben, dass Aktivierung/Deaktivierung prioritaet hat bei Ereigniseditor
	Literaturangaben komplettieren
	Immer alles Defaultwerte, wenn nicht angegeben, DAS SCHREIBEN!
	Umbenennung Broadcast-Sturm Protokoll -> Broadcast Protokoll
Evtl.:
	Ereigniseintritt bei Lamport und Vektorzeiten?	
	Helper:
		Print warning if not activated protocol while doing a protocol request
	Splash screen
	Kapseln: Protokolle sollen nur fuer sie bestimtme methoden aufrufen koennen
	Periodische Tasks anlegen koennen
	"Himmelobjekt"?
	Simulationen beliebig lang machen
	KeyEvent Manager
	Loggingfenster soll nur Lamport/Vektorzeit anzeigen, wenn ausgewaehlt
Evtl. nicht:
	Protocols:
		Waehlermengen nach Maekawa?
		NFS
		AFS
		Systemschnitte?
		Middleware-Schicht?
		Ereignisse, die Prozessvariablen aendern
		Bedingte Ereignisse