pushd app/tools
ant clean && ant
popd

pushd core
ant clean && ant
popd

pushd webserver
ant clean && ant
popd