Uses of Interface
alice.util.jedit.TextAreaPainter.Highlight