Tomcat development mode locally

[rbespalovnc]

I'm playing around with the tomcat development mode mainly for this reason.

As I understand when starting hybris uses the configuration from hybris/bin/platform/tomcat/conf/web.xml which is compiled by ant during build process. So I changed it and restarted hybris (no rebuild). The changed portion was related to development mode:

     <init-param>
         <param-name>development</param-name>
         <param-value>false</param-value>
     </init-param>
    <init-param>
        <param-name>checkInterval</param-name>
        <param-value>0</param-value>
     </init-param>
     <init-param>
         <param-name>modificationTestInterval</param-name>
         <param-value>1</param-value>
     </init-param> 

This means that tomcat should not reload JSPs on change (simulated production environment). However I discovered it still does reload it ignoring the development => falsesetting.

Anything else I should edit to make it work? Local system is Windows if that matters. Editing the same file works on our Linux test system and creates the desired effect. Both systems have Tomcat 7.

I saw something about antiResourceLocking but not sure if it affects this situation.