Better JDK7/8 handing for JavaDOC.