JInternalFrame doesn't refresh after changing the title, you must call repaint()

JInternalFrame doesn't refresh after changing the title...must call repaint().

Using Swing 1.0.1 and JDK 1.1.5 - see attached test case.

To Reproduce, See:
  file : VisDebug.java
  method: protected void saveAs ()
  lines : 832-833

 ....
 ifw.setPath (f.getPath());
 ifw.setTitle (f.getPath());
 ifw.repaint(); // refresh the title