Как поменять time-server, используемый для подстройки системного времени?

Это можно сделать через апплет "Date and Time Properties", до которого проще всего добраться при помощи двойного щелчка по времени в системном лотке; изменение адреса time-сервера делается в этом апплете на вкладке Internet Time.