Jetty Plugin for the eclipse generation