Configurations of JBoss 7.1 and Teiid installations