jgsetclock.set: added script to set clock