Grundlefleck: switch project to java source level of 5.0, in line with the source level of FindBugs itself. Fixes #6.