tracked down problem with GWT builder and added a note of it