//@author: j.n.magee 11/11/96 //adapted by mh, 02/04/03 // JavaFC by mh, 11/04/10 //********************************************************** process MutexLoop { private char ch_; private int width_; private int length_; MutexLoop (char toPrint, int width, int length) { ch_ = toPrint; width_ = width; length_ = length; } // MutexLoop public void body() { for (int i=0;i