eventUpdateEnd method
Implementation
void eventUpdateEnd(EventNode ev, JTS.Coordinate end) {
// slides an end backwards
// (start)------------(end) to:
// (start)---(end)
// if (buildLog != null) {
// buildLog.segmentChop(ev.seg, end);
// }
ev.other.remove();
ev.seg.end = end;
ev.other.pt = end;
eventAdd(ev.other, ev.pt);
}