I'll be posting a few little things as minor bugs on jira unless anyone
suggests otherwise.
1. postgres jdbc-8.4 (latest) is incompatible. changing the version
given in platform/pom/pom.xml makes it (apparently) work okay.
2. Document.getChildren() skips pages which give the parent as wiki:docname
This is an arcane method of linking but it works, I think it should be
fully supported or should not work at all.
3. Object GUIDs are changed on document rename.