+ export HTTP_GETTER_PORT=58081
+ export URI_SET_QUEUE_PORT=58082
+ export DRAW_GRAPH_PORT=58083
+ export PROOF_CHECKER_PORT=58084
+ export SEARCH_ENGINE_PORT=58085
+ export DRAW_GRAPH_DIR=/projects/helm/graphs/tools
+ export HELM_UWOBO_URL=http://mowgli.cs.unibo.it:$UWOBO_PORT/mowgli/servlet/uwobo/