@NonNullByDefault adoption.