Isolate error region correctly within Eclipse editor, and update list of keywords