ant.properties
fi
if use servletapi; then
echo "servlet.jar=$(java-pkg_getjar --virtual servlet-api-2.5 servlet.jar)" \
echo "servlet.jar=$(java-pkg_getjar --virtual servlet-api-2.5 servlet-api.jar)" \
>> ant.properties
if use mysql; then