Where should the M5 version of JBoss Central's DefaultJBossCentralConfigurator class look for the jbosstools-directory.xml file?

It currently points at http://download.jboss.org/jbosstools/updates/nightly/core/trunk/jbosstools-directory.xml, which is the trunk version.

It could instead point at http://download.jboss.org/jbosstools/updates/nightly/core/3.3.indigo/jbosstools-directory.xml, the branch version. HOWEVER, once we move this site from nightly/ to development/ that URL won't work anymore.

So should we point it at the aliased milestone site...

http://download.jboss.org/jbosstools/updates/development/indigo/jbosstools-directory.xml (currently points at M4's discovery plugin)

or the actual physical location of the milestone site, eg.,

http://download.jboss.org/jbosstools/updates/JBossTools-3.3.0.M4/jbosstools-directory.xml