fmt.setTimeZone(TimeZone.getTimeZone("GMT"));
    public static long getEndTimeForFile(File f) {        DateFormat fmt = new SimpleDateFormat(TIMESTAMP_FORMAT);        fmt.setTimeZone(TimeZone.getTimeZone("GMT"));        fmt.setLenient(false);        int prefixLen = ARCH_FILENAME_PREFIX.length();        try {            Date d = fmt.parse(f.getName().substring(prefixLen));            return d.getTime();        } catch(ParseException e) {            return f.lastModified();        }    }