I would recommend just switching to an external Java server (for example, Tomcat, which you seem to have installed and which works with your configuration) - there are much fewer problems, easier than trying to work with the damaged Jetty that comes with GWT.
Instructions can be found in the docs . If you stick with GWT Jetty, you will face a lot of problems in the future.
Update, see Pascal Thiven's comment below:
@Pascal: sorry for that, I didnโt just want to say โSwitch to an external server, donโt talkโ, itโs just that I saw a lot of people on SO and on the Google Group GWT who have problems with the Jetty setup that comes with GWT , - in some cases, this is due to the fact that the configuration is somewhat different from the standard, because the GWT team included an older / modified (I can not get any reliable information about this) version of Jetty, for example, see this post and comments there, some quotes:
NOTE. I believe that the version of the berth comes with GWT below 6.1.12 and therefore you should leave the first parameter in the docs example, since it was added to the berth 6.1.12rc3. See note at the top of Jetty docs.
Presumably Jetty supports servlet 2.5 and injection of resources by writing to the web.xml or @resource annotation. However, I have but to find out if this is supported by the version of Jetty that comes with GWT. If someone found out this does not work, and if so, how is it done, please let me know.
Other problems arise when someone wants to use EJB.
All of this (possibly in a more concise / cryptic way) is written in the GWT documentation, for which I provided the link above for an exact paragraph addressing this issue.
I hope this clarified some things - switching to an external server just seems to be the simplest, easiest and best solution - there is no special GWT configuration, that is, you can use the same configuration / server that you will use in production, no need to transfer your configuration e.g. in Tomcat, without any unexpected errors after migration, etc.