[xwiki-devs] problem with maven.xwiki.org ? apparently the server is stuck