[PUSHED] Use clock_gettime instead of gettimeofday to have more preci...

[Stephan Bergmann]

On 05/13/2013 06:59 PM, Norbert Thiebaud (via Code Review) wrote:
> Thank you for your patch!  It has been merged to LibreOffice.
>
> If you are interested in details, please visit
>
>      https://gerrit.libreoffice.org/3841

Just saw the hotspot-dev at openjdk.java.net thread "Mac OS X 
System.nanoTime Improvements" starting at 
<http://mail.openjdk.java.net/pipermail/hotspot-dev/2013-May/009496.html> that 
might be interesting for us, too.

Stephan