Adding dtd files (copied from JBoss docs server)