System.out.println("Michael: BasicTextUI.RootView.paint");
    public void paint(Graphics g, Shape s)    {      System.out.println("Michael: BasicTextUI.RootView.paint");            if (view != null)	view.paint(g, s);        }