Comitting a bug - I suspect a GWT bug in superdevmode