Bug #15: gwt.xml to guide the GWT compiler.