For the record, I've created the new issue http://openjdk.java.net/projects/jigsaw/spec/issues/#AutomaticModuleNames for this topic and added links there to the various discussion threads. - Mark