Program: 175870
Project: 175870
Buggy source:
public void editFacade(PlanSkeleton skel,SuperFace sf,SuperEdge se){
  closeSitePlan();
  JToggleButton texture=new JToggleButton("String_Node_Str");
  texture.setSelected(se.toEdit != null && se.toEdit.texture != null);
  if (se.toEdit == null) {
    ensureMF(sf,se);
    if (!texture.isSelected())     se.toEdit.groundFloorHeight=2;
  }
  if (texture.isSelected()) {
    patchWallTag(skel,se,se.toEdit);
    se.toEdit.width=se.length();
  }
 else   se.toEdit.texture=null;
  if (se.toEdit.featureGen instanceof CGAMini) {
    ((CGAMini)se.toEdit.featureGen).update();
    se.toEdit.featureGen=new FeatureGenerator(se.toEdit,se.toEdit.featureGen);
  }
  Plot p=new Plot(se.toEdit,texture);
  Changed c=new Changed(){
    @Override public void changed(){
      PaintThing.debug.clear();
      if (texture.isSelected())       new Thread(new Runnable(){
        @Override public void run(){
          Pix2Pix.pix2pix(Collections.singletonList(se.toEdit),new Runnable(){
            public void run(){
              tweed.enqueue(new Runnable(){
                @Override public void run(){
                  setSkel(skel,skel.output,sf);
                  tweed.getRootNode().updateGeometricState();
                }
              }
);
            }
          }
);
        }
      }
).start();
 else {
        se.toEdit.texture=null;
        tweed.enqueue(new Runnable(){
          @Override public void run(){
            setSkel(skel,skel.output,sf);
          }
        }
);
      }
    }
  }
;
  texture.addActionListener(l -> c.changed());
  c.changed();
  p.addEditListener(c);
}

Fixed version (ground truth):
public void editFacade(PlanSkeleton skel,SuperFace sf,SuperEdge se){
  closeSitePlan();
  JToggleButton texture=new JToggleButton("String_Node_Str");
  texture.setSelected(se.toEdit != null && se.toEdit.texture != null);
  if (se.toEdit == null) {
    ensureMF(sf,se);
    if (!texture.isSelected())     se.toEdit.groundFloorHeight=2;
  }
  if (texture.isSelected()) {
    patchWallTag(skel,se,se.toEdit);
    se.toEdit.width=se.length();
  }
 else   se.toEdit.texture=null;
  if (se.toEdit.featureGen instanceof CGAMini) {
    ((CGAMini)se.toEdit.featureGen).update();
    se.toEdit.featureGen=new FeatureGenerator(se.toEdit,se.toEdit.featureGen);
  }
  Plot p=new Plot(se.toEdit,texture);
  Changed c=new Changed(){
    @Override public void changed(){
      PaintThing.debug.clear();
      if (texture.isSelected())       new Thread(new Runnable(){
        @Override public void run(){
          Pix2Pix.pix2pix(Collections.singletonList(se.toEdit),new Runnable(){
            public void run(){
              tweed.enqueue(new Runnable(){
                @Override public void run(){
                  setSkel(skel,sf,lastOccluders);
                  tweed.getRootNode().updateGeometricState();
                }
              }
);
            }
          }
);
        }
      }
).start();
 else {
        se.toEdit.texture=null;
        tweed.enqueue(new Runnable(){
          @Override public void run(){
            setSkel(skel,sf,lastOccluders);
          }
        }
);
      }
    }
  }
;
  texture.addActionListener(l -> c.changed());
  c.changed();
  p.addEditListener(c);
}