jetty plugins uses Java 7 on Buildhive