We were trying to update the text in a Label and simply called:
    Label.repaint();
This works under Netscape, but not under HotJava. I found a work-around by:
    Label.repaint(0, -2000, -2000, 2000, 2000);
specifying a huge rectangle.

I originally filed this bug under hotjava, but Sunita asked me to refile it
under AWT.