OK, maybe I\'m dumb/blind, but in the docs it says \"rebuild and restart the server.\" But I don\'t see a button to do this anywhere. Or from any contextual menu. And I can\'t f
If you include the gwt SDK in your project, the gwt development mode box contains a reload server button that will work just fine.