Java: Rdate (tool for querying the current time from a network server)