Re: [xwiki-devs] [Proposal] Change tools groupId to org.xwiki.platform.tools