Время форматирования с использованием языка en_GB дает разные результаты в Android и стандартной Java

Question

Locale locale = new Locale("en", "GB");
DateFormat df = DateFormat.getTimeInstance(DateFormat.SHORT, locale);
System.out.println(df.format(new Date()));

На Android он печатает 8: 5 вечера .На моем рабочем столе с Java SE он печатает 20: 05 .Я не из Великобритании, но, насколько я знаю, AM / PM там не используется.Это ошибка в Android?