Texteditor working again

Temporary fix based on Eclipse 3.x compatibility

Signed-off-by: Dominik Schadow <dominikschadow@googlemail.com>