1.1 --- a/openide.util/src/org/openide/util/RequestProcessor.java	Wed Apr 04 14:05:48 2007 +0000
     1.2 +++ b/openide.util/src/org/openide/util/RequestProcessor.java	Wed Apr 04 16:40:21 2007 +0000
     1.3 @@ -20,7 +20,6 @@
     1.4  package org.openide.util;
     1.5  
     1.6  import java.util.HashSet;
     1.7 -import java.util.Iterator;
     1.8  import java.util.LinkedList;
     1.9  import java.util.List;
    1.10  import java.util.ListIterator;
    1.11 @@ -321,10 +320,9 @@
    1.12          synchronized (processorLock) {
    1.13              stopped = true;
    1.14  
    1.15 -            Iterator it = processors.iterator();
    1.16 -
    1.17 -            while (it.hasNext())
    1.18 -                ((Processor) it.next()).interrupt();
    1.19 +            for (Processor p : processors) {
    1.20 +                p.interrupt();
    1.21 +            }
    1.22          }
    1.23      }
    1.24  
    1.25 @@ -632,12 +630,15 @@
    1.26          }
    1.27  
    1.28          /** Current priority of the task.
    1.29 -        */
    1.30 +        * @return the priority level (see e.g. {@link Thread#NORM_PRIORITY}
    1.31 +         */
    1.32          public int getPriority() {
    1.33              return priority;
    1.34          }
    1.35  
    1.36 -        /** Changes the priority the task will be performed with. */
    1.37 +        /** Changes the priority the task will be performed with. 
    1.38 +         * @param priority the priority level (see e.g. {@link Thread#NORM_PRIORITY}
    1.39 +         */
    1.40          public void setPriority(int priority) {
    1.41              if (this.priority == priority) {
    1.42                  return;