- <value key="proofchecker.port">48084</value>
- <value key="getter.mode">remote</value>
- <value key="getter.url">http://localhost:58081/</value>
- <!-- <value key="getter.url">http://mowgli.cs.unibo.it:58081/</value> -->
+ <section name="proofchecker">
+ <key name="port">58084</key>
+ </section>
+ <section name="getter">
+ <key name="mode">remote</key>
+ <key name="url">http://localhost:58081/</key>
+ <!-- <key name="url">http://mowgli.cs.unibo.it:58081/</key> -->
+ </section>