return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/";
case "getterURL":
return "http://mowgli.cs.unibo.it:48081/";
- case "draw_graphURL":
- return "http://phd.cs.unibo.it:8083/";
case "uri_set_queueURL":
- return "http://phd.cs.unibo.it:8084/";
+ return "http://mowgli.cs.unibo.it:48082/";
+ case "draw_graphURL":
+ return "http://mowgli.cs.unibo.it:48083/";
+ case "proofcheckerURL":
+ return "http://mowgli.cs.unibo.it:48084/";
case "UNICODEvsSYMBOL":
return "symbol";
case "cicuri":