Made FindBugs happy about a minor issue.