Rebuild javadoc with 1.7 JDK. The resultant docs look nicer.