private synchronized void cleanWslProxies(WSLDistribution dist) {
    String idPrefix = dist.getId() + ":";
    List<String> keys = new SmartList<>();
    for (String key : myWslProxyCache.keySet()) {
      if (key.startsWith(idPrefix)) {
        keys.add(key);
      }
    }
    for (String key : keys) {
      WslProxy proxy = myWslProxyCache.remove(key);
      if (proxy != null) {
        Disposer.dispose(proxy);
      }
    }
  }
private synchronized void cleanWslProxies(WSLDistribution dist)