[xwiki-users] Building xwiki-enterprise-xwiki-enterprise-7.3 failed

Hi, I downloaded xwiki-enterprise-xwiki-enterprise-7.3 source and try to build it. I have created settings.xml following the instruction in http://dev.open-sankore.org/xwiki/bin/view/Community/Building. At first, it is failed when building xwiki-enterprise-ui-common. Maven complain that Could not find artifact uk.ac.ed.ph.snuggletex:snuggletex-jeuclid:jar:1.1.0. So I add <!-- snuggletex-jeuclid --> <repository> <id>www2.ph.ed.ac.uk-releases</id> <url>http://www2.ph.ed.ac.uk/maven2</url> </repository> to settings.xml, remove ./m2/respository/uk (to prevent stopping building from the cache), then build from start again. xwiki-enterprise-ui-common built successfully, but when building building xwiki-enterprise-data-hsqldb, I got the following error: [ERROR] Failed to execute goal org.xwiki.platform:xwiki-platform-tool-packager-plugin:7.3:import (default) on project xwiki-enterprise-data-hsqldb: Execution default of goal org.xwiki.platform:xwiki-platform-tool-packager-plugin:7.3:import failed: Plugin org.xwiki.platform:xwiki-platform-tool-packager-plugin:7.3 or one of its dependencies could not be resolved: The following artifacts could not be resolved: uk.ac.ed.ph.snuggletex:snuggletex-jeuclid:jar:1.1.0, org.restlet.jse:org.restlet:jar:2.0.14, org.restlet.jee:org.restlet.ext.servlet:jar:2.0.14, org.restlet.jse:org.restlet.ext.jaxrs:jar:2.0.14, org.restlet.jse:org.restlet.ext.jackson:jar:2.0.14, org.restlet.jse:org.restlet.ext.jaxb:jar:2.0.14: Failure to find uk.ac.ed.ph.snuggletex:snuggletex-jeuclid:jar:1.1.0 in http://maven.xwiki.org/externals was cached in the local repository, resolution will not be reattempted until the update interval of xwiki-plugins-externals has elapsed or updates are forced -> [Help 1] uk.ac.ed.ph.snuggletex:snuggletex-jeuclid:jar:1.1.0 has just been downloaded when building xwiki-enterprise-ui-common. I do not know how to fix it, your help is appreciated. NOTE: I have also added <!-- use Restlet --> <repository> <id>maven-restlet</id> <name>Public online Restlet repository</name> <url>http://maven.restlet.org</url> </repository> to settings.xml before. Thanks for your help Guofeng