Package org.syntax.jedit.tokenmarker