Google App Engine Servlet im Jetty neuladen

Wenn man mit Eclipse ein Google App Engine Projekt bearbeitet und Änderungen an Servlets vornimmt und danach die Änderungen im Browser lokal testen möchte ist das Problem, dass der Jetty-Server immer noch die alte Version des Servlets ausliefert. Um das neuladen anzustoßen kann man im Terminal im Verzeichnis war/WEB-INF folgenden Befehl ausführen:

touch appengine-web.xml

Damit wird der TimeStamp der Datei aktualisiert und der Jetty-Server lädt das Servlet (bzw. den Container der das Servlet enthält) neu.

Diese Lösung habe ich auf StackOverflow in diesem Thread gefunden.