class WorkBenchManager {

  public void updateOtherWorkBenches(@NotNull WorkBench workBench) {
    Collection<WorkBench> workBenches = myWorkBenches.get(workBench.getName());
    workBenches.stream().filter(bench -> bench != workBench).forEach(WorkBench::updateModel);
  }

  public  WorkBenchManager();

}