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 ...

* Edge class is finale so no changes are implemented to it that may cause impact on it. * The edge class keeps record of the ID, the owner of the edge, and both intersections * that cut through the ...