'org.jboss.as:jboss-as-dist:7.1.3.Final'
<dependency>
<groupId>org.jboss.as</groupId>
<artifactId>jboss-as-dist</artifactId>
<version>7.1.3.Final</version>
</dependency>
<dependency org="org.jboss.as" name="jboss-as-dist" rev="7.1.3.Final"/>
"org.jboss.as", "jboss-as-dist", "7.1.3.Final"