public PatchNameWidget(Patch p,String n) {patch=p;label=n;;setup();}
public PatchNameWidget(Patch p,String n) { patch=p; label=n; setup(); }
  public PatchNameWidget(Patch p,String n)  {patch=p;label=n;;setup();}