[jboss-user] [Datasource Configuration] - Re: When does JBoss shrink a connection pool?