JBoss AS 7.1.3 のバイナリがないのですが、どうやら自分でソースコードからビルドする必要があるようです。メモリが結構必要で、1024MBの割当では足りませんでした。
git, mvn, jdk あたりが必要です。ソースコードのアーカイブは、https://github.com/jbossas/jboss-as/tree/7.1.3.Final から入手できます。gitからcloneの方がやりやすいと思いますが、一応。
環境はUbuntu 12.04を用意しました。下記のようにlibaio1をインストールしておく必要があるようです。
$ sudo apt-get install libaio1
gitを使って、つぎのような感じで 7.1.3.Final をヘッドリビジョンにします。
$ mkdir -p $HOME/workspace/jboss-as $ cd $HOME/workspace/jboss-as $ git clone git://github.com/jbossas/jboss-as.git $ cd jboss-as $ git checkout 7.1.3.Final
アーカイブファイルが欲しいので、releaseをtrueにします。また、テストはスキップ。
$ export MAVEN_OPTS="-Xmx1772m" $ mvn install -Drelease=true -DskipTests
成功すると、$HOME/workspace/jboss-as/jboss-as/dist/target に tar.gz, zip が出来上がります。
$ ls -1 $HOME/workspace/jboss-as/jboss-as/dist/target jboss-as-7.1.3.Final-src.tar.gz jboss-as-7.1.3.Final-src.zip jboss-as-7.1.3.Final.tar.gz jboss-as-7.1.3.Final.zip
これを、好きなところへ展開して、$JBOSS_HOMEとします。設定ファイルなどは、$JBOSS_HOME/standalone/configuration/ にあるので、それらを環境に合わせて調整すると良いでしょう。