Fixed bug in Mcmc.java when terminating via GUI.