@CheckReturnValue @DefaultQualifier(value=org.checkerframework.checker.nullness.qual.NonNull.class, locations=ALL)
Map