Как проанализировать имена нестандартных месяцев с помощью DateTimeFormatter ⇐ JAVA

[Anonymous]

мне нужно проанализировать (немецкие) даты, которые входят в следующую форму: < /p>

Код: Выделить всё

10. Jan. 18:14
8. Feb. 19:02
1. Mär. 19:40
4. Apr. 18:55
2. Mai 21:55
5. Juni 08:25
5. Juli 20:09
1. Aug. 13:42
[...]
< /code>

Как вы можете видеть, имена месяца вырезаются, если месяц имеет более 4 символов. Даже более странно, не меня, почему, месяц марта сокращается до mär. 

, хотя все имя - märz . How can I parse this with java.time?
(The dates are formatted based on the localization of the android device that creates the list of dates. However, I'm not parsing it on Android)

My approach was to create a DateTimeFormatter like this:

Код: Выделить всё

DateTimeFormatter.ofPattern("d. MMMM HH:mm").withLocale(Locale.GERMAN);
// or
DateTimeFormatter.ofPattern("d. MMMMM HH:mm").withLocale(Locale.GERMAN);

Но ни mmmm , ни Mmmmm шаблон подходит даты, которые укорочены. Я, конечно, могу иметь следующий шаблон d. М-М-М. HH: MM , чтобы соответствовать сокращенным месяцам, но тогда я не могу сравниться с 3 и 4 месяцами символов. Я знаю, что у меня есть два форматера (

Код: Выделить всё

MMM. and MMMMM

), но я бы предпочел, чтобы у меня было решение, в котором у меня есть только один форматер и, возможно, пользовательский локаль или что -то в этом роде.

Подробнее здесь: https://stackoverflow.com/questions/308 ... eformatter