Fixes to compile errors in Eclipse.

Java formatting options set and files formatted with them.
Fix formatting.
Added FindBugs to check source code.

Tests are not checked by FindBugs due to too many false positives.
Added Ant task for Checker Framework setup.
Changed classpath to use local Checker Framework installation.
Reformatted.
Added more debug spew with line numbers.
Debug message, spelling, warnings changes.
Added folders for tests.
Reorganized tests according to their dependencies.
Added extra test for Checker Framework issue.
Fixed tests to compile without errors in Java 7.
Added test case not using the unnamed package.
Renamed test runner files.
Added and fixed test runners to cover all tests.
Added Ant tasks for test runners.
Fixed test classpath issues from Ant.
Enabled FindBugs nature.
Change for consistency.
Fixed unit test failures.