6u14b06: setting the title of a JTabbedPane in HTML does not work anymore