I'm developing a Vaadin widget and I'm having problems with GWT's superDevMode. Yesterday I had a bug which did not show up when setting Dev Mode On (using the bookmark), but did when setting Dev Mode Off.
Today I have unwanted behaviour when setting Dev Mode On, while with Dev Mode Off the behaviour is as expected.
Does anyone have a clue what might be causing this? Maybe a compiler setting?