Update ubuntu-12.04_openjdk_jdk-1.6_jetty-7.x