how to format time including miliseconds
<p>I'm trying to get a time string in the format of YYYYMMDD-HHMMSSMiliseconds in android</p>

<p>Ex: 20130312-1723437520 (2013 March 12th, 17 Hour 23 Minutes 43 Seconds 7520 Miliseconds)</p>

<pre><code>Time now = new Time();
now.setToNow();
String snapshotTime = now.format("yyyyMMdd-HHmmss");
</code></pre>

<p>First of all, above code doesn't even work properly. <code>snapshotTime</code> is always set to the format string itself.</p>

<p>Second of all, according to the <a href="http://developer.android.com/reference/android/text/format/Time.html" rel="nofollow">android documentation</a>, there's no way to record miliseconds. </p>

<p>How can I accomplish this?</p>
