詹金斯会照顾夏时制吗？

Question

我用以下用户更改了Jenkins配置文件，即位于C:\Program Files (x86)\Jenkins\jenkins.xml的jenkins.xml：用户时区= America / Chicago

<executable>%BASE%\jre\bin\java</executable>
<arguments>-Xrs -Xmx256m -Duser.timezone="America/Chicago" 
  -Dhudson.lifecycle=hudson.lifecycle.WindowsServiceLifecycle 
  -jar "%BASE%\jenkins.war" --httpPort=8080</arguments>

我可以看到时间更改为CDT。

我的问题是夏令时更改后，是否还需要更改时区？还是因为时区设置为America / Chicago，Jenkins会节省日光吗？

谢谢！