Автоматическое развертывание.war на удаленный jboss4.2.3.GA не удается с помощью плагина hudson deploy

Question

Я использую плагин hudson-deploy для автоматического развертывания моего .war файл на удаленный jboss4.2.3.GA, Когда я установил порт ниже, чем 10000работает, например:

http://10.78.68.210:8080/

Но наша система использует порт 17200поэтому URL должен быть

http://10.78.68.210:17200

на этот раз автоматическое развертывание не удалось. сообщение об ошибке:

Caused by: java.lang.IllegalArgumentException: port out of range:117200
    at java.net.InetSocketAddress.<init>(InetSocketAddress.java:118)
    at org.codehaus.cargo.container.jboss.JBoss4xRemoteDeployer.buildSocketAddressForDeployableServer(JBoss4xRemoteDeployer.java:269)
    at org.codehaus.cargo.container.jboss.JBoss4xRemoteDeployer.<init>(JBoss4xRemoteDeployer.java:133)
    at org.codehaus.cargo.container.jboss.JBoss4xRemoteDeployer.<init>(JBoss4xRemoteDeployer.java:117)
    ... 27 more

я увидел неожиданное "117200" выше, а не "17200"

поэтому я проверил исходный код:

String portStr = configuration.getPropertyValue(JBossPropertySet.REMOTEDEPLOY_PORT);
if (portStr == null)
{
    portStr = "1" + configuration.getPropertyValue(ServletPropertySet.PORT);
} 

а также

String REMOTEDEPLOY_PORT = "cargo.jboss.remotedeploy.port";

т.к. верный portStr всегда возвращается nullтогда portStr будет установлен в "1"+"17200", в результате "117200"

Как я могу позволить hudson-deploy загрузить ценный cargo.jboss.remotedeploy.port имущество? Я перепробовал все, но каждый раз терпел неудачу.

большое спасибо!