Implemented gettimeofday(2) for Java.