Thread[] result = new Thread[threadsCount()];  Enumeration e = threads.elements(); for (int n = 0; e.hasMoreElements(); n++) result[n] = (Thread) e.nextElement();  return result;
return (Thread[])threads.toArray(new Thread[threads.size()]);
	public Thread[] threads() {		Thread[] result = new Thread[threadsCount()];		Enumeration e = threads.elements();		for (int n = 0; e.hasMoreElements(); n++)			result[n] = (Thread) e.nextElement();		return result;	}