export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/helm/servlet/uwobo/
export HTTP_GETTER_DTD_BASE_URL=http://www.cs.unibo.it/helm/dtd
else
# V7_mowgli
export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/helm/servlet/uwobo/
export HTTP_GETTER_DTD_BASE_URL=http://www.cs.unibo.it/helm/dtd
else
# V7_mowgli