}
public void paint(final GlyphView v, final Graphics g, final Shape alloc,
final int startOffset, final int endOffset) {
final TextKit textKit = v.getTextKit();
textKit.paintLayeredHighlights(g, startOffset, endOffset, alloc, v);
final Rectangle bounds = alloc.getBounds();
final Font font = v.getFont();
final TextPainter painter = new TextPainter(v, bounds, font,
g instanceof Graphics2D