Update name and id of Doc 4.0 in eclipse40.xsl