InfoNode Docking Windows

Two scenarios result in the tabs not being repainted appropriately,
resulting in strange artifacts being displayed:

1) If the title of a View is changed, the text in the view's tab changes
but the tab is not repainted immediately.
2) If the font used by a View's tab changes when it gains focus, the text
in the view's tab changes but the tab is, again, not repainted immediately.
This is achieved, for example, by configuring the dockable windows like
so:

Font plainFont = UIManager.getFont("PopupMenu.font");
tabProperties.getTitledTabProperties().getNormalProperties().getComponentPr
operties().setFont(plainFont);
tabProperties.getTitledTabProperties().getHighlightedProperties().getCompon
entProperties().setFont(plainFont);

Font boldFont = plainFont.deriveFont(Font.BOLD);
tabProperties.getFocusedProperties().getComponentProperties().setFont(boldF
ont);

Both observations were made when using the LookAndFeelDockingTheme on
Windows XP.