Como lidar com maiúsculas ou minúsculas no JSR 310? [duplicado]

Esta pergunta já tem uma resposta aqui:

Como analisar seqüências que não diferenciam maiúsculas de minúsculas com jsr310 DateTimeFormatter? 3 respostas

Se um mês estiver em maiúsculas ou minúsculas, ou seja, não em maiúsculas, o DateTimeFormatter não poderá analisar a data. Existe uma maneira simples de converter uma data em maiúscula ou uma maneira de tornar o formatador mais branda?

for (String date : "15-JAN-12, 15-Jan-12, 15-jan-12, 15-01-12".split(", ")) {
    try {
        System.out.println(date + " => " + LocalDate.parse(date,
                                     DateTimeFormatter.ofPattern("yy-MMM-dd")));
    } catch (Exception e) {
        System.out.println(date + " => " + e);
    }
}

impressões

15-JAN-12 => java.time.format.DateTimeParseException: Text '15-JAN-12' could not be parsed at index 3
15-Jan-12 => 2015-01-12
15-01-12 => java.time.format.DateTimeParseException: Text '15-01-12' could not be parsed at index 3
15-jan-12 => java.time.format.DateTimeParseException: Text '15-jan-12' could not be parsed at index 3

questionAnswers(1)

yourAnswerToTheQuestion