Removal of www/jakarta-tomcat4 and www/jakarta-tomcat5

[Ernst de Haan]

Is there any objection against removal of these ports:

    www/jakarta-tomcat4
    www/jakarta-tomcat5

They not only employ an old naming scheme (Tomcat no longer falls  
under Jakarta), but they also seem to be outdated.

The first installs Tomcat 4.0.6 and the latter 5.0.30. Looking at the  
Apache Tomcat website:
http://tomcat.apache.org/
it seems that both have been superseded by 4.1.x and 5.5.x,  
respectively.

Note that the following Tomcat ports will remain:
- www/tomcat41 (currently 4.1.34, should be updateed to .36)
- www/tomcat55 (currently 5.5.23, which is up-to-date)
- www/tomcat6  (currently 6.0.10, should be updated to .13)

Cheers,


Ernst