FindBug hotfix