<br>I plan to change gatein.dev value for AS7 from 'jbossas7' to three alternatives: 'jbossas710', 'jbossas711' and 'jbossas712' in order to improve UX and cut down on regular erroneous usage (<a href="https://issues.jboss.org/browse/GTNPORTAL-2523">https://issues.jboss.org/browse/GTNPORTAL-2523</a>).<br>
<br>Any objections to that?<br><br>Also, I've committed some fixes for occasional crashes on startup, so update from upstream master if you are experiencing problems.<br><br><br>- marko<br>