2011     public void flush() {

  2011     public synchronized void flush() {

  2012         if (queueHead != null) {

  2012         EventQueueItem tempQueue = queueHead;

  2013             EventQueueItem tempQueue;

  2013         queueHead = queueTail = null;

  2014             /*

  2014         while (tempQueue != null) {

  2015              * We have to execute the loop inside the synchronized block

  2015             eventQueue.postEvent(tempQueue.event);

  2016              * to ensure that the flush is completed before a new event

  2016             tempQueue = tempQueue.next;

  2017              * can be posted to this queue.

  2018              */

  2019             synchronized (this) {

  2020                 tempQueue = queueHead;

  2021                 queueHead = queueTail = null;

  2022                 /*

  2023                  * If this PostEventQueue is flushed in parallel on two

  2024                  * different threads tempQueue will be null for one of them.

  2025                  */

  2026                 while (tempQueue != null) {

  2027                     eventQueue.postEvent(tempQueue.event);

  2028                     tempQueue = tempQueue.next;

  2029                 }

  2030             }