The assumption that display.readAndDispatch() only processes an OS message in case one is present does not hold Some other thread processed the OS message concurrently So we should investigate why the ...