public static void onBuiltInServerPortChanged() {
    CustomPortServerManager.EP_NAME.forEachExtensionSafe(extension -> {
      CustomPortServerManagerBase baseManager = (CustomPortServerManagerBase) extension;
      if (baseManager != null) {
        baseManager.portChanged();
      }
    });
  }
public static void onBuiltInServerPortChanged()