如何使用jedis for Java连接Docker Redis集群实例？

version: '3'
services:
  redis1:
    image: redis
    ports:
      - "6379:6379"
    command: redis-server --port 6379 --cluster-enabled yes --cluster-config-file nodes.conf --cluster-node-timeout 5000 --appendonly yes
    volumes:
      - ./data/redis1:/data
  redis2:
    image: redis
    ports:
      - "6380:6379"
    command: redis-server --port 6379 --cluster-enabled yes --cluster-config-file nodes.conf --cluster-node-timeout 5000 --appendonly yes
    volumes:
      - ./data/redis2:/data
  redis3:
    image: redis
    ports:
      - "6381:6379"
    command: redis-server --port 6379 --cluster-enabled yes --cluster-config-file nodes.conf --cluster-node-timeout 5000 --appendonly yes
    volumes:
      - ./data/redis3:/data

docker-compose up -d

<dependency>
    <groupId>redis.clients</groupId>
    <artifactId>jedis</artifactId>
    <version>3.7.0</version>
</dependency>

import redis.clients.jedis.HostAndPort;
import redis.clients.jedis.JedisCluster;

import java.util.HashSet;
import java.util.Set;

public class RedisClusterExample {
    public static void main(String[] args) {
        Set<HostAndPort> jedisClusterNodes = new HashSet<>();
        jedisClusterNodes.add(new HostAndPort("localhost", 6379));
        jedisClusterNodes.add(new HostAndPort("localhost", 6380));
        jedisClusterNodes.add(new HostAndPort("localhost", 6381));

        JedisCluster jedisCluster = new JedisCluster(jedisClusterNodes);

        // 使用jedisCluster进行操作，例如：
        jedisCluster.set("key", "value");
        String result = jedisCluster.get("key");
        System.out.println(result);

        jedisCluster.close();
    }
}