Merge branch 'ZipDate' into 'master'

jar/zip sets modificationtime, replaces arbitrary current date by something repeatable

See merge request exedio/copepatch!129

Author: rw7

build.xml

@@ -174,6 +174,7 @@
 				filesonly="true"
 				duplicate="fail"
 				strict="fail"
+				modificationtime="2026-02-10T11:22:33Z"
 				level="9">
 			<fileset dir="build/classes/src" />
 			<manifest>
@@ -194,6 +195,7 @@
 				filesonly="true"
 				duplicate="fail"
 				strict="fail"
+				modificationtime="2026-02-10T11:22:33Z"
 				level="9">
 			<fileset dir="build/classes/consolesrc" />
 			<manifest>
@@ -215,6 +217,7 @@
 				filesonly="true"
 				whenempty="fail"
 				duplicate="fail"
+				modificationtime="2026-02-10T11:22:33Z"
 				level="9">
 			<zipfileset dir="${basedir}/src"><include name="**/*.java"/><exclude name="**/*_Jspm.java" /></zipfileset>
 			<zipfileset dir="${basedir}/consolesrc">