Fix javadoc generation warnings. Update to 1.7 in build.xml.

Also add dist/ to .gitignore.