de.cau.cs.kieler.klots.editor
Classes 
HighlightSJInstructionEffect
HighlightSJMarkerEffect
KlotsEditor
KlotsEditorContributor