ummm... well, to be fair, that particular bug was driving me nuts for a while, so it's always somewhere in the back of my mind...
but a <a href="
http://kmeleon.sourceforge.net/bugs/findbug.php">bug search</a> on what seemed like the most obvious terms didn't turn up anything for me, either, so don't feel bad. fortunately, the bug list is still small enough to be more or less easily browsed, which is probably a better way of finding things if you don't know exactly what you're looking for...