FYI: The Ant port (devel/jakarta-ant) has been upgraded from 1.5.1 to 1.5.2. Also, the official name of Ant has changed from 'Jakarta Ant' to 'Apache Ant'. The new name will probably soon be reflected by a port name change from 'devel/jakarta-ant' to either 'devel/ant' or 'devel/apache-ant'. Ernst