tree bfc7c849a708b0fc43d517cc6af6f4f5e916de96
parent 9d0aace925e24ac7bc5f62d8e88145708fe941a2
author Eike Stepper <stepper@esc-net.de> 1488909455 +0100
committer Ed Merks <ed.merks@gmail.com> 1489823824 +0100

[512506] - NPE in RecorderManager$EarlySynchronization.await

https://bugs.eclipse.org/bugs/show_bug.cgi?id=512506

Change-Id: I303ea13244d3b2570033bc5d292be8211b593184