2 function getDefaultParam(name)
6 return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/";
8 return "http://mowgli.cs.unibo.it:48081/";
9 case "uri_set_queueURL":
10 return "http://mowgli.cs.unibo.it:48082/";
12 return "http://mowgli.cs.unibo.it:48083/";
13 case "proofcheckerURL":
14 return "http://mowgli.cs.unibo.it:48084/";
15 case "UNICODEvsSYMBOL":
22 return "processed,cic,html,yes,no,normal,no";