Fixed problem with DOCTYPE of GWT xml file