String name = file.getPath(); File newFile = new File(name + newExt); if (newFile.exists()) return newFile.lastModified(); if (file.exists())
int[] generations = getFileGenerations(file); if (generations == null) return 0L; if (generations[0] == 0)
	public static long lastModified(File file) {		String name = file.getPath();		File newFile = new File(name + newExt);		if (newFile.exists())			return newFile.lastModified();		if (file.exists())			return file.lastModified();		File oldFile = new File(name + oldExt);		return oldFile.lastModified();	}