Added profile for JDK 1.7.0_40.
Merged branch 'master' into 'jetty-9.1'.