#vulnerable code 
                                @Override
    public int size() {
        Long size = JedisUtil.getJedis().dbSize();
        return size.intValue();
    } 
                            #location 3 
                            #vulnerability type NULL_DEREFERENCE
#fixed code
                                @Override
    public int size() {
        Long size = Objects.requireNonNull(JedisUtil.getJedis()).dbSize();
        return size.intValue();
    }