a super tiny Java class to fetch a file from the Internet

JURL.java

/*
 * Copyright (c) 2024 Georgios Politis
 * 
 * Permission is hereby granted, free of charge, to any person
 * obtaining a copy of this software and associated documentation
 * files (the "Software"), to deal in the Software without
 * restriction, including without limitation the rights to use,
 * copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the
 * Software is furnished to do so, subject to the following
 * conditions:
 * 
 * The above copyright notice and this permission notice shall be
 * included in all copies or substantial portions of the Software.
 * 
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
 * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
 * HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
 * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
 * OTHER DEALINGS IN THE SOFTWARE.
 */
import java.io.FileOutputStream;
import java.io.IOException;
import java.net.URI;
import java.nio.channels.Channels;
import java.nio.channels.FileChannel;
import java.nio.channels.ReadableByteChannel;

/**
 * JURL (like curl but with messed up capitalisation) is a super tiny
 * Java class to fetch a file from the Internet in super restricted
 * environments (like for example a Java application container) lacking
 * wget or curl (but with a JDK..). Usage:
 *
 * <pre>
 * {@code
 * $ cat <<EOF > JURL.java
 * ...
 * EOF
 * javac JURL.java
 * java -cp . Jurl https://www.google.com/robots.txt robots.txt
 * }
 * </pre>
 */
public class JURL {
    public static void main(String... argv) throws IOException {
        var readableByteChannel = Channels
            .newChannel(URI.create(argv[0]).toURL().openStream());
        try (var fileOutputStream = new FileOutputStream(argv[1])) {
            var fileChannel = fileOutputStream.getChannel();
            fileChannel.transferFrom(
                    readableByteChannel, 0, Long.MAX_VALUE);
        }
    }
}