--- jsr166/src/main/java/util/PriorityQueue.java	2003/08/12 11:11:58	1.27
+++ jsr166/src/main/java/util/PriorityQueue.java	2003/08/13 14:11:59	1.28
@@ -177,7 +177,8 @@ public class PriorityQueue<E> extends Ab
     public PriorityQueue(Collection<? extends E> c) {
         initializeArray(c);
         if (c instanceof SortedSet) {
-            SortedSet<? extends E> s = (SortedSet<? extends E>) c;
+            // @fixme double-cast workaround for compiler
+            SortedSet<? extends E> s = (SortedSet<? extends E>) (SortedSet)c;
             comparator = (Comparator<? super E>)s.comparator();
             fillFromSorted(s);
         } else if (c instanceof PriorityQueue) {