On Apr 19, 2012, at 5:10 PM, Claudio Nieder wrote: > Hi, > >> Old code, deprecated should not mean broken though? > > Though given it is deprecated since and including Java 1.2 the easiest fix would be to remove the method :-) > True enough. I will take your advice there. But I suppose I should still do the bug report.