On 16/10/16 19:52, Robert Scholte wrote: > To enforce the discipline, the java compiler should IMHO at least > check if all required modules are indeed required and if the > transitive required modules are indeed transitive. How can the compiler possibly know this? There are ways of requiring a module without naming it in a declaration. Andrew.