Use source level 8 in javadocs