I can’t find a version for Vaadin 7, but looking at the widgetset compilation for Vaadin 6, Vaadin 7 shouldn’t differ that much from it. You can find one version of it at
http://dev.vaadin.com/browser/versions/6.4/build/package/build-widgetset.xml . It’s the compile-widgetset target which is the one you want to have a look at.
If there is problems, the write them here and someone might be able to help with specifics. I’ve also notified the author of the book and hopefully that link will be fixed very soon.
Vaadin 6 supported both the old (GWTCompiler) and the new (Compiler) GWT compiler classes, each with slightly different set of supported parameters.
WidgetSetBuilder is a wrapper for it (needed for J2SE 5.0 compatibility, at least), which used to use the older one in Vaadin 6. In Vaadin 7, only the new compiler class is present. WSB takes the same parameters as the wrapped compiler class.