default void moduleRenamed(@NotNull Module module, @NotNull String oldName, @NotNull String newName) {
  }
default void moduleRenamed(@NotNull Module module, @NotNull String oldName, @NotNull String newName)