title: format date in java as "Day Month number, year"
body: <p>The following code prints the date "Thu, 10 Oct 2013"</p>
  
  <pre><code>Date date = new Date(timeInMilliSec);
  SimpleDateFormat df2 = new SimpleDateFormat("EEE, dd MMM yyyy");
  String dateText = df2.format(date);
  return dateText;
  </code></pre>
  
  <p>How do I get "Thu Oct 21, 2013"?</p>