Add javadoc hack for jenkins user.  Not pretty, but very weird
javadoc failure, and we don't want to have to move javac to 7
right now.