Most replacements are a trivial one-to-one replacement of the call to
checkNotNull with requireNonNull, however there are some calls that
make use of checkNotNull's variable argument list and formatting
parameters. Replace these with String.format wrapped in a supplier.
Using the Java API rather than Guava means we can get rid of the
custom implementation, and Edwin's TODO, in AccessSection.
Change-Id: I1d4a6b342e3544abdbba4f05ac4308d223b6768b