reverted to version 7 of jetty