title: Pick day, month and year out file.lastModified();
body: <p>I know how to use <code>file.lastModified();</code>.
  When I <code>println</code> that I get (for example): Sat Mar 17 09:24:33 GMT+01:00 2012.
  But is it possible that I only get the day, month and year as numbers, for example: 17 03  2012</p>
  
  <p>Is their a way to do this, maybe a filter, or an other function to get last modified date in numbers?</p>