After submision for approval, portmgr has indeed approved the fix for the www/jakarta-tomcat41 port. I have just indeed committed it. The distfile is now correctly fetched from one of many locations (Apache main site or one of the FreeBSD mirror sites). My apologies for the inconvenience this breakage has caused. Ernst