while (enum.hasMoreElements()) {
while (en.hasMoreElements()) {
  public void redoTasks() {    SubscriptionResults subscriptionResults = checkSubscriptions();    if (subscriptionResults != null) {      Enumeration enum = myInputTaskCallback.getSubscription().elements();      boolean alreadyFound = false;      if (isInfoEnabled()) {	if (!enum.hasMoreElements()) {	  info ("no tasks to replan on redo?");	}      }      while (enum.hasMoreElements()) {	if (alreadyFound) {	  warn(getAgentIdentifier() + " - more than one determine requirements task!");	}