/** Get the results. */
 public Assignment getResult(int STAMP) {
   return ((Assignment) Results.get(new Integer(STAMP)));
   //	return(Result);
 }
 /** Dispatch a packet assignment. */
 public void dispatchPacket(Assignment DispatchMe, int connectionID) {
   Results.put(new Integer(DispatchMe.getID()), DispatchMe);
   //	Result=DispatchMe;
   //	RESULT=true;
 }
 /** Get whether a result has been returned. */
 public boolean hasResult(int STAMP) {
   if (Results.get(new Integer(STAMP)) != null) return (true);
   return (false);
   //	return(RESULT);
 }