The following two imports are stylistically bad:

$ grep -r javac.code open/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets
open/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Extern.java:import com.sun.tools.javac.code.Flags;
open/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Extern.java:import com.sun.tools.javac.code.Symbol.ModuleSymbol;

The functionality should be moved to the WorkArounds class, until the functionality can be added to the `Elements` class.