The code is from the jsr166e sources, as this code is copied in essence verbatim (except from the Unsafe-lookup which is custom to us because we want to support Android). We want to avoid doing our own changes here since we do not have the tests for this here (it's in the jsr166e codebase).

Cheers,
√