XWIKI-9516: Merge xwiki-platform-wiki-manager and xwiki-platform-workspace.

* Fix a bit of javadoc.