System.out.println("Michael: PlainView.paint");
JTextComponent textComponent = (JTextComponent) getContainer();
  public void paint(Graphics g, Shape s)  {    System.out.println("Michael: PlainView.paint");        Rectangle rect = s.getBounds();    g.setColor(Color.WHITE);    g.fillRect(rect.x, rect.y, rect.width, rect.height);        // FIXME: Text may be scrolled.    drawLine(0, g, rect.x, rect.y);  }