/** Returns the text editor's highlight color. */
 protected Color getHighlightColor() {
   JTextComponent textComp = (JTextComponent) fContainer;
   return textComp.getSelectionColor();
 }