Findbugs and javadoc, case 9249