Fixes issue #3197; ignore DTDs in GWT modules.

Found by: zundel
Review by: spoon (desk)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/releases/1.6@4349 8db76d5a-ed1c-0410-87a9-c151d255dfc7
1 file changed