added support for Super Dev Mode using GWT > 2.5.0
whitespace