[jboss-dev] Version numbers in repository