Gateway timezone doesn't match OS

Yeah, I ran into something like this a while back and went through the same steps:

I'm not certain whether restarting the gateway was necessary or not. Restarting the clients and designers (if you want them to show the right gateway time) is.