code: public static void suspendOthers(ISchedulableThread thread)
  	{
  		synchronized (allThreads)
  		{
  			for (ISchedulableThread th : allThreads)
  			{
  				if (!th.equals(thread))
  				{
  					th.setSignal(Signal.SUSPEND);
  				}
  			}
  		}
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.vdmj.scheduler.ISchedulableThread#suspendOthers()