Formatting time with en_GB locale gives different results in Android and standard Java

Question

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