Corrected documentation; added FindBugs report