--- jsr166/src/main/java/util/PriorityQueue.java	2003/08/06 18:42:49	1.25
+++ jsr166/src/main/java/util/PriorityQueue.java	2003/08/13 14:11:59	1.28
@@ -176,17 +176,16 @@ public class PriorityQueue<E> extends Ab
      */
     public PriorityQueue(Collection<? extends E> c) {
         initializeArray(c);
-        if (c instanceof SortedSet<? extends E>) {
-            SortedSet<? extends E> s = (SortedSet<? extends E>) c;
+        if (c instanceof SortedSet) {
+            // @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<? extends E>) {
+        } else if (c instanceof PriorityQueue) {
             PriorityQueue<? extends E> s = (PriorityQueue<? extends E>) c;
             comparator = (Comparator<? super E>)s.comparator();
             fillFromSorted(s);
-        }
-        else {
+        } else {
             comparator = null;
             fillFromUnsorted(c);
         }