Added the GWT DOCTYPE