make javadoc use java-1.7 as source