字符串时间转 ZonedDateTime 出现的问题

[twirain]

String time = "11 12 21:29:01 +0800 2018";
ZonedDateTime c = ZonedDateTime.parse(time, DateTimeFormatter.ofPattern("MM dd HH:mm:ss xx yyyy"));
System.out.println(c);
		
String time2 = "Nov 12 21:29:01 +0800 2018";
ZonedDateTime b = ZonedDateTime.parse(time2, DateTimeFormatter.ofPattern("MMM dd HH:mm:ss xx yyyy"));
System.out.println(b);

第一个输出为：2018-11-12T21:29:01+08:00

第二个直接抛了异常：Exception in thread "main" java.time.format.DateTimeParseException: Text 'Nov 12 21:29:01 +0800 2018' could not be parsed at index 0

[wdlth]

https://repl.it/repls/GlamorousSpecializedGnuassembler

没有发现异常，你是不是输入了全角空格之类的？

[OscarUsingChen]

Locale 的问题？

[twirain]

用 eclipse 编的，提示 unknown source，参数也都勾上了，不知道什么问题