Flag missing with "requires java.base"?

[Paul Benedict]

Although "java.base" is mandated to be included, it is also inserted
automatically by the compiler. Isn't anything automatically inserted by the
compiler considered synthetic? When I examine the class file, I get
ACC_MANDATED but not ACC_SYNTHETIC for this export. I believe both should
be there.

Furthermore, the user is allowed to explicitly ask for "java.base" to be a
requirement. When this happens, I think ACC_SYNTHETIC should not be
included.

Cheers,
Paul