user/test/com/google/gwt/dev/js/CoverageTestModule.gwt.xml

<module type="fileset">
  <inherits name="com.google.gwt.user.User"/>
  <inherits name="com.google.gwt.json.JSON"/>
</module>