List contents = new ArrayList();
contents.add("<?xml version=\"1.0\" encoding=\"UTF-8\"?>");
String gwtModuleDtd = "<!-- Could not determine the version of your GWT SDK; using the module DTD from GWT 1.6.4. You may want to change this. -->\n<!DOCTYPE module PUBLIC \"-//Google Inc.//DTD Google Web Toolkit 1.6.4//EN\" \"http://google-web-toolkit.googlecode.com/svn/tags/1.6.4/distro-source/core/src/gwt-module.dtd\">";
try {
GWTRuntime runtime = GWTRuntime.findSdkFor(javaProject);
if (runtime != null) {
String versionNum = runtime.getVersion();
if ((!versionNum.endsWith(".999"))
&& (!versionNum.startsWith("0.0")))
gwtModuleDtd = "<!DOCTYPE module PUBLIC \"-//Google Inc.//DTD Google Web Toolkit "
+ versionNum