GWT Super Dev Mode shutdown