Sorry but the JDK modules changed yet again after I got confirmation
from the Jigsaw team that "jdk.*" modules are vendor-specific and the
standard should be "java.*". As a result all jdk modules have been
changed. The name for the oracle-specific ones remain "oracle.jdk.*".
That should last us until/if Jigsaw rename them.
-- Stéphane Épardaud