gwt.xml错误：元素类型模块的内容必须匹配

我有一个小的GWT java程序，它已经在google apps引擎上运行了大约一年了。我最近对它做了一些更改，然后在部署之前，我必须将JRE更新到7.1。完成此操作后，我的gwt.xml文件中出现以下错误：

The content of element type "module" must match "(inherits|source|public|super-source|entry-point|stylesheet|script|servlet|replace-with|
generate-with|define-property|extend-property|set-property|set-property-fallback|clear-configuration-property|define-configuration-
property|extend-configuration-property|set-configuration-property|property-provider|define-linker|add-linker|collapse-all-properties|collapse-property)*".

<?xml version="1.0" encoding="UTF-8"?>
<!--
 When updating your version of GWT, you should also update this DTD reference,
 so that your app can take advantage of the latest GWT module capabilities.
-->
<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 2.5.0//EN"
"http://google-web-toolkit.googlecode.com/svn/tags/2.5.0/distro-source/core/src/gwt-module.dtd">
<module rename-to='helpdesktest'>

<!-- Inherit the core Web Toolkit stuff.                        -->
<inherits name='com.google.gwt.user.User'/>
<inherits name='com.google.gwt.xml.XML'/>
<inherits name='com.google.gwt.logging.Logging'/>
<inherits name='com.google.gwt.http.HTTP'/>

<!-- Inherit the default GWT style sheet.  You can change       -->
<!-- the theme of your GWT application by uncommenting          -->
<!-- any one of the following lines.                            -->
<inherits name='com.google.gwt.user.theme.clean.Clean'/>
<!-- <inherits name='com.google.gwt.user.theme.standard.Standard'/> -->
<!-- <inherits name='com.google.gwt.user.theme.chrome.Chrome'/> -->
<!-- <inherits name='com.google.gwt.user.theme.dark.Dark'/>     -->

<!-- Other module inherits                                      -->

<!-- Specify the paths for translatable code                    -->
<source path='client'/>
<source path='shared'/>

<!-- Specify the app entry point class.                         -->
<entry-point class='com.google.gwt.HelpDeskTest.client.HelpDeskTest'/>


<!-- Set logging parameters -->
<set-property name="gwt.logging.logLevel" value="SEVERE"/> #change default log level
<set-property name="gwt.logging.enabled" value="FALSE"/> #set to FALSE to disable logging
<set-property name="gwt.logging.consoleHandler" value="DISABLED"/> #to disable set to DISABLED
<set-property name="gwt.logging.popupHandler" value="DISABLED"/> 
<set-property name="gwt.logging.developmentModeHandler" value="DISABLED"/> 

</module>

我找到了一个问题，这个问题向我解释了错误的含义，我发现我的源元素在我的入口点元素之后。我移动了它们以匹配错误消息中的顺序，但错误仍然存在。有什么想法吗

这是我的gwt.xml文件：

The content of element type "module" must match "(inherits|source|public|super-source|entry-point|stylesheet|script|servlet|replace-with|
generate-with|define-property|extend-property|set-property|set-property-fallback|clear-configuration-property|define-configuration-
property|extend-configuration-property|set-configuration-property|property-provider|define-linker|add-linker|collapse-all-properties|collapse-property)*".

<?xml version="1.0" encoding="UTF-8"?>
<!--
 When updating your version of GWT, you should also update this DTD reference,
 so that your app can take advantage of the latest GWT module capabilities.
-->
<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 2.5.0//EN"
"http://google-web-toolkit.googlecode.com/svn/tags/2.5.0/distro-source/core/src/gwt-module.dtd">
<module rename-to='helpdesktest'>

<!-- Inherit the core Web Toolkit stuff.                        -->
<inherits name='com.google.gwt.user.User'/>
<inherits name='com.google.gwt.xml.XML'/>
<inherits name='com.google.gwt.logging.Logging'/>
<inherits name='com.google.gwt.http.HTTP'/>

<!-- Inherit the default GWT style sheet.  You can change       -->
<!-- the theme of your GWT application by uncommenting          -->
<!-- any one of the following lines.                            -->
<inherits name='com.google.gwt.user.theme.clean.Clean'/>
<!-- <inherits name='com.google.gwt.user.theme.standard.Standard'/> -->
<!-- <inherits name='com.google.gwt.user.theme.chrome.Chrome'/> -->
<!-- <inherits name='com.google.gwt.user.theme.dark.Dark'/>     -->

<!-- Other module inherits                                      -->

<!-- Specify the paths for translatable code                    -->
<source path='client'/>
<source path='shared'/>

<!-- Specify the app entry point class.                         -->
<entry-point class='com.google.gwt.HelpDeskTest.client.HelpDeskTest'/>


<!-- Set logging parameters -->
<set-property name="gwt.logging.logLevel" value="SEVERE"/> #change default log level
<set-property name="gwt.logging.enabled" value="FALSE"/> #set to FALSE to disable logging
<set-property name="gwt.logging.consoleHandler" value="DISABLED"/> #to disable set to DISABLED
<set-property name="gwt.logging.popupHandler" value="DISABLED"/> 
<set-property name="gwt.logging.developmentModeHandler" value="DISABLED"/> 

</module>

#更改默认日志级别
#设置为FALSE以禁用日志记录
#要禁用，请将设置为禁用

不接受文本内容，但您的文件中有这些

#更改默认日志级别的位

将它们转换为XML注释（
）或删除它们


顺便说一句，元素的顺序与wrt-XML验证无关（但这与它们的含义有关；有些事情有时必须为其他事情处理，因为一个会覆盖另一个）
谢谢。我删除了这三行上的#符号及其后的所有内容，我仍然得到了错误。我试着注释xml文件的不同部分，看看这是否有区别，但没有。嗯……由于其他一些错误，我最终重新安装了Eclipse和GWT，错误消失了。所以我不知道那是怎么回事/