@NonNullByDefault adoption and fixes.