Fixing FindBugs warnings and Javadoc problems, and bumping version numbers to 2.5.3