mulesoft/mule — pull request #133 by andresgregoire (2013-10-17 14:55:51+00:00)
Title: MULE-7061: Update Jetty version

Updating Jetty from version 6 to 8, and servlet api from 2.5 to 3.0