Extensions installer should set current date+time on extracted files

[Nicklas Nordborg]

The current implementation set the file date to the last modified date found in the JAR file. The problem is that this approach may cause Tomcat to not detect file changes since the compiled class in the work-directory may have a newer date (for example, due to a server restart).

One workaround is to always restart Tomcat after updating an extension. Another option is to manually 'touch' the JSP files belonging to the extension. Something like:

cd <base-dir>/www/extensions/foo.jar
touch *.jsp