File oldFile = new File(name + oldExt); return oldFile.lastModified();
String name = file.getName(); File parent = new File(file.getParent()); File newFile = new File(parent, name + '.' + generations[0]); return newFile.lastModified();
	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();	}