2004/06/16 14:30:17 jb 1.13.4.1: #116392# Change timestamps for local backend to take into account file size in addition to time, so that different files that happen to have the same modification time (e.g. explicitly set by setup) are recognized as different