added a timestamp formatter from Java