Enthuware

This question:
and 1st option, which is correct answer:
The code will compile fine if both A and B are part of the same named module.
All permitted subtypes of a sealed type must either belong to the same package or to the same module.

Appropriate import statements are required.

OR,

1st option of enthuware.ocpjp.v17.2.3684 explains:
All permitted subclasses of a sealed class must belong to the same package (or belong to the same named module).
Since no module information is given in the problem statement, you should assume that there is no module in play here.

This question gives no module information too.
and 2nd option is:
Both the classes must belong to the same package for the code to compile.

2nd option is not incorrect.

It is true that no module information is given In this question. However, option 1 explicitly says that the code will compile fine if both A and B are part of the same named module. So, this option is indeed correct. Because it is valid ONLY IF they were in the same module. The option itself makes it clear and specifies the condition when it is valid.

In the other question, there is no module information and no "if" condition. That is why you cannot assume the presence of a module. It is making a blanket unconditional statement, which is incorrect.