FindBugs fixes; set formatting profile