什么是Jboss4 xml配置相当于ActivationConfigProperty？

Question

我在JBoss-4.0.4中使用这个注释很好地部署了一个MDB。它运作得很好。

@MessageDriven(
   activationConfig = {
      @ActivationConfigProperty(propertyName = "destinationType", 
           propertyValue = "javax.jms.Queue"),
      @ActivationConfigProperty(propertyName = "destination", 
           propertyValue = "queue/mycompany/thing/thingy"),
      @ActivationConfigProperty(propertyName = "MaxPoolSize", 
           propertyValue = "4")        
   }
)

现在我需要将该配置外部化，这样我就可以更改MaxPoolSize而无需重新编译和重新部署代码。 According to the docs它看起来应该作为新的<proxy-factory-config>显示在standardjboss.xml中，但我应该为<JMSProviderAdapterJNDI>，<ServerSessionPoolFactoryJNDI>等使用什么值？这个变化（添加新的<proxy-factory-config>元素）是我唯一需要的吗？

<proxy-factory-config>
<JMSProviderAdapterJNDI>WHATGOESHERE?</JMSProviderAdapterJNDI>
<ServerSessionPoolFactoryJNDI>WHATGOESHERE?</ServerSessionPoolFactoryJNDI>
<MaximumSize>3</MaximumSize>
<MaxMessages>1</MaxMessages>
<MDBConfig>
    <ReconnectIntervalSec>10</ReconnectIntervalSec>
    <DLQConfig>
        <DestinationQueue>queue/mycompany/thing/thingy</DestinationQueue>
        <MaxTimesRedelivered>10</MaxTimesRedelivered>
        <TimeToLive>0</TimeToLive>
    </DLQConfig>
</MDBConfig>
</proxy-factory-config>