我想在下载zip文件后更改文件名

import urllib.request
import zipfile
import os

# 下载zip文件
url = 'https://example.com/file.zip'
urllib.request.urlretrieve(url, 'file.zip')

# 解压zip文件
with zipfile.ZipFile('file.zip', 'r') as zip_ref:
    zip_ref.extractall('extracted_files')

# 更改文件名
old_name = 'extracted_files/original_name.txt'
new_name = 'extracted_files/new_name.txt'
os.rename(old_name, new_name)

import java.io.FileOutputStream;
import java.io.IOException;
import java.io.InputStream;
import java.net.URL;
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.StandardCopyOption;
import java.util.zip.ZipEntry;
import java.util.zip.ZipInputStream;

public class Main {
    public static void main(String[] args) throws IOException {
        // 下载zip文件
        String url = "https://example.com/file.zip";
        try (InputStream in = new URL(url).openStream()) {
            Files.copy(in, Path.of("file.zip"), StandardCopyOption.REPLACE_EXISTING);
        }

        // 解压zip文件
        try (ZipInputStream zipIn = new ZipInputStream(Files.newInputStream(Path.of("file.zip")))) {
            ZipEntry entry;
            while ((entry = zipIn.getNextEntry()) != null) {
                Path filePath = Path.of("extracted_files", entry.getName());
                Files.copy(zipIn, filePath, StandardCopyOption.REPLACE_EXISTING);
            }
        }

        // 更改文件名
        Path oldPath = Path.of("extracted_files/original_name.txt");
        Path newPath = Path.of("extracted_files/new_name.txt");
        Files.move(oldPath, newPath, StandardCopyOption.REPLACE_EXISTING);
    }
}