GWT: версия Jetty в режиме разработки

У меня есть два вопроса:

1. Какая версия Jetty используется GWT 2.5.1 в режиме dev?

2. Есть ли способ изменить эту версию?

Ответы на вопрос(1)

Ваш ответ на вопрос