Class GaussianRandomTimerGui