throw new InternalError();
Color col = getColor(); if (col == null) col = c.getSelectionColor(); g.setColor(col);  Rectangle rect = null; if (p0 == view.getStartOffset() && p1 == view.getEndOffset()) {  rect = bounds instanceof Rectangle ? (Rectangle) bounds : bounds.getBounds(); } else {  try { Shape s = view.modelToView(p0, Position.Bias.Forward, p1, Position.Bias.Backward, bounds); rect = s instanceof Rectangle ? (Rectangle) s : s.getBounds(); } catch (BadLocationException ex) {  } }  if (rect != null) { g.fillRect(rect.x, rect.y, rect.width, rect.height); } return rect;
    public Shape paintLayer(Graphics g, int p0, int p1, Shape bounds,			    JTextComponent c, View view)    {      throw new InternalError();    }