Нужно создать поток который найдет все имена содержащие цифры

package com.company;
 
import java.util.ArrayList;
import java.util.Comparator;
 
import java.util.stream.Collectors;
 
 
public class Main {
 
    public static void main(String[] args) {
        ArrayList<User> users = new ArrayList<>();
        users.add(new User("Jack2",23));
        users.add(new User("Harry",31));
        users.add(new User("Charly12",18));
        users.add(new User("Thomas",32));
        users.add(new User("Amelia33",30));
        users.add(new User("Olivia3",19));
        users.add(new User("Emely",18));
        users.add(new User("Sophie",23));
        System.out.println("Сортировка по имени");
        System.out.println(users.stream().sorted(new Comparator<User>() {
            @Override
            public int compare(User o1, User o2) {
                int res = CharSequence.compare(o1.getName(),o2.getName());
                return res;
            }
        }).collect(Collectors.toList()));
 
    }
}

System.out.println(users.stream().filter(user -> user.getName().matches(".*\\d.*")).collect(Collectors.toList()));

users.stream().filter(user -> user.getName().matches(".*\\d.*")).collect(Collectors.toList()).forEach(e -> System.out.println(e.getName()));