redrawing problem`

start hotjava browser1.0.1 with jdk1.1.3 or later
or start hotjava browser1.0 with jdk1.1.2 or later

load page http://www.w3.org/TR/REC-html32.html

there is a severe flashing problem. The problem only started showing up in 1.1.2. to verify this: start hotjava1.0 with 1.1.1, load the same page you will not see the flashing.