gwt-util/src/main/java/jetbrains/jetpad/mapper/gwt/GwtMapper.gwt.xml [1:6]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
<!DOCTYPE module
  PUBLIC
  "-//Google Inc.//DTD Google Web Toolkit 2.0//EN"
  "http://google-web-toolkit.googlecode.com/svn/releases/2.0/distro-source/core/src/gwt-module.dtd"
  >
<module>
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



util/plugin/src/main/java/jetbrains/jetpad/plugin/Plugin.gwt.xml [1:6]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
<!DOCTYPE module
    PUBLIC
    "-//Google Inc.//DTD Google Web Toolkit 2.0//EN"
    "http://google-web-toolkit.googlecode.com/svn/releases/2.0/distro-source/core/src/gwt-module.dtd"
    >
<module>
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -