The JBoss Web upgrade contains the switches needed to turn on the JDK source/target for in ECJ 4.4.1 in BZ1194560.
https://github.com/jbossas/jboss-eap/pull/2316
MEAD build: https://brewweb.devel.redhat.com/buildinfo?buildID=422422 RPM6 wrapper: https://brewweb.devel.redhat.com/buildinfo?buildID=422423 RPM5 wrapper: https://brewweb.devel.redhat.com/buildinfo?buildID=422424 RPM7 wrapper: https://brewweb.devel.redhat.com/buildinfo?buildID=422425 Prod rebuild PR: https://github.com/jbossas/jboss-eap/pull/2317
Verified that EAP 6.4.0.ER3 contains jbossweb-7.5.7.Final-redhat-1.jar