gatein/gatein-portal — pull request #87 by mstruk (2012-07-27 16:30:17+00:00)
Title: GTNPORTAL-2523 Improve AS7 packaging

Remove -Dgatein.dev=jbossas7 option and replace it with three possible values: jbossas710, jbossas711, and jbossas712.