[jboss-as7-dev] Optimal MSC threadpool size?