title: Formatting time with en_GB locale gives different results in Android and standard Java
body: <pre><code>Locale locale = new Locale("en", "GB");
  DateFormat df = DateFormat.getTimeInstance(DateFormat.SHORT, locale);
  System.out.println(df.format(new Date()));
  </code></pre>
  
  <p>On Android it prints <strong>8:05 PM</strong>. On my desktop with Java SE it prints <strong>20:05</strong>.
  I'm not from the UK but as far as I know AM/PM is not used there. Is this a bug in Android?</p>