[jboss-user] [JBoss Tools] - Re: Using a different AS7 server config in JBoss Tools