--- jsr166/src/test/tck/PriorityQueueTest.java	2015/05/24 01:42:14	1.36
+++ jsr166/src/test/tck/PriorityQueueTest.java	2016/06/01 16:08:04	1.37
@@ -191,9 +191,12 @@ public class PriorityQueueTest extends J
         PriorityQueue q = new PriorityQueue(1);
         try {
             q.offer(new Object());
-            q.offer(new Object());
             shouldThrow();
-        } catch (ClassCastException success) {}
+        } catch (ClassCastException success) {
+            assertTrue(q.isEmpty());
+            assertEquals(0, q.size());
+            assertNull(q.poll());
+        }
     }
 
     /**