@Nullable
    @Override
    public String getExplodedAutomaticModuleName(File pathElement) {
      return myModulePath.getModuleName(pathElement);
    }
@Nullable
    @Override
    public String getExplodedAutomaticModuleName(File pathElement)