Refreshing GWT dev mode launch config