I am currently using the JBoss 4 DTD file for jboss.xml located at http://www.jboss.org/j2ee/dtd/jboss_4_0.dtd
This file is different from the one located within the JBoss 4.0.1 distribution, specifically in the port-component section. The one with JBoss 4.0.1 references port-component-uri whereas the one on the webside references port-uri (which is deprecated in 4.0.1).
Is it recommended to use the DTD that comes with the distribution or the one on the website?
The distribution always contains the most up to date dtd.