CJEdit * A ContextJ-based Editor - Hasso-Plattner