Updated build profile for JDK 7u51.
Merge branch 'jetty-7' into 'jetty-8'.