Folks, I don't see 7.1.2.Final in https://repository.jboss.org/nexus/content/groups/public/org/jboss/as/jboss-as-dist/ Could you please have a look? cheers -thomas -- xxxxxxxxxxxxxxxxxxxxxxxxxxxx Thomas Diesler JBoss OSGi Lead JBoss, a division of Red Hat xxxxxxxxxxxxxxxxxxxxxxxxxxxx