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