Support for gwt.coverage