Make FindBugs happy.