code: public void unloadModule(Module module) {
          Objects.requireNonNull(module, "module");
          unloadModuleLocal(module);
          moduleSpecs.remove(module.getIdentifier());
      }
docs: Unload a module from the local repository. Equivalent to
  {@link #unloadModuleLocal(Module)}.
  @param module the module to unload.