<html>
<body>
<applet code="bug4310381.class" width=150 height=150></applet>
Observe that long Tab titles are clipped with dots at the end
</body>
</html>