use gwtgen for source generation