| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java
 | 
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java
 | 
| index 76ba8c6bfb9fc58077a77521fe400852ccc7135e..be8f2880d2f686587d27badb2302feac962f5cc9 100644
 | 
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java
 | 
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/context/WorkManager.java
 | 
| @@ -32,7 +32,7 @@ public class WorkManager {
 | 
|     */
 | 
|    @SuppressWarnings("unchecked")
 | 
|    public WorkManager() {
 | 
| -    int queueCount = WorkManagerPriority.values().length;
 | 
| +    int queueCount = SourcePriority.values().length;
 | 
|      workQueues = new ArrayList[queueCount];
 | 
|      for (int i = 0; i < queueCount; i++) {
 | 
|        workQueues[i] = new ArrayList<Source>();
 | 
| @@ -46,7 +46,7 @@ public class WorkManager {
 | 
|     * @param source the source that needs to be analyzed
 | 
|     * @param priority the priority level of the source
 | 
|     */
 | 
| -  public void add(Source source, WorkManagerPriority priority) {
 | 
| +  public void add(Source source, SourcePriority priority) {
 | 
|      // TODO(brianwilkerson) Optimize the order of the libraries so that libraries that depend on
 | 
|      // other libraries get analyzed after the other libraries.
 | 
|      int queueCount = workQueues.length;
 | 
| 
 |