Program: 25050
Project: 25050
Buggy source:
private void createEdge(){
  this.Edge=new LinkObjectType(this.notationSubsystem.getSyntaxService(),EDGE_UID,EDGE_NAME);
  this.Edge.setDescription(EDGE_DESCN);
  this.Edge.getDefaultLinkAttributes().setLineColour(new RGB(0,0,0));
  this.Edge.getDefaultLinkAttributes().setLineStyle(LineStyle.SOLID);
  this.Edge.getDefaultLinkAttributes().setLineWidth(1);
  EnumSet<LinkEditableAttributes> editableAttribute=EnumSet.noneOf(LinkEditableAttributes.class);
  editableAttribute.add(LinkEditableAttributes.COLOUR);
  editableAttribute.add(LinkEditableAttributes.LINE_STYLE);
  editableAttribute.add(LinkEditableAttributes.LINE_WIDTH);
  IPropertyDefinition Interacts=reassignVal(getPropInteracts(),"String_Node_Str",true,false);
  Edge.getDefaultLinkAttributes().addPropertyDefinition(Interacts);
  LinkTerminusDefinition sport=this.Edge.getSourceTerminusDefinition();
  sport.getLinkTerminusDefaults().setGap((short)0);
  sport.getLinkTerminusDefaults().setLinkEndDecoratorShape(LinkEndDecoratorShape.NONE);
  sport.getLinkTerminusDefaults().setEndSize(new Size(10,10));
  sport.getLinkTerminusDefaults().setTermDecoratorType(PrimitiveShapeType.RECTANGLE);
  sport.getLinkTerminusDefaults().setTermSize(new Size(0,0));
  sport.getLinkTerminusDefaults().setTermColour(new RGB(255,255,255));
  EnumSet<LinkTermEditableAttributes> srcEditableAttribute=EnumSet.noneOf(LinkTermEditableAttributes.class);
  srcEditableAttribute.add(LinkTermEditableAttributes.TERM_DECORATOR_TYPE);
  srcEditableAttribute.add(LinkTermEditableAttributes.TERM_COLOUR);
  sport.setEditableAttributes(srcEditableAttribute);
  LinkTerminusDefinition tport=this.Edge.getTargetTerminusDefinition();
  tport.getLinkTerminusDefaults().setGap((short)0);
  tport.getLinkTerminusDefaults().setLinkEndDecoratorShape(LinkEndDecoratorShape.NONE);
  tport.getLinkTerminusDefaults().setEndSize(new Size(10,10));
  tport.getLinkTerminusDefaults().setTermDecoratorType(PrimitiveShapeType.RECTANGLE);
  tport.getLinkTerminusDefaults().setTermSize(new Size(0,0));
  tport.getLinkTerminusDefaults().setTermColour(new RGB(255,255,255));
  EnumSet<LinkTermEditableAttributes> tgtEditableAttribute=EnumSet.noneOf(LinkTermEditableAttributes.class);
  tgtEditableAttribute.add(LinkTermEditableAttributes.TERM_DECORATOR_TYPE);
  tgtEditableAttribute.add(LinkTermEditableAttributes.TERM_COLOUR);
  tport.setEditableAttributes(srcEditableAttribute);
  this.Edge.getDefaultLinkAttributes().setUrl("String_Node_Str");
  this.Edge.getLinkConnectionRules().addConnection(this.Node,this.Node);
}

Fixed version (ground truth):
private void createEdge(){
  this.edge=new LinkObjectType(this,EDGE_UID,EDGE_NAME);
  this.edge.setDescription(EDGE_DESCN);
  this.edge.getDefaultLinkAttributes().setLineColour(new RGB(0,0,0));
  this.edge.getDefaultLinkAttributes().setLineStyle(LineStyle.SOLID);
  this.edge.getDefaultLinkAttributes().setLineWidth(1);
  this.edge.getDefaultLinkAttributes().setRouter(ConnectionRouter.SHORTEST_PATH);
  this.edge.getDefaultLinkAttributes().setName("String_Node_Str");
  this.edge.getDefaultLinkAttributes().setUrl("String_Node_Str");
  EnumSet<LinkEditableAttributes> editableAttribute=EnumSet.noneOf(LinkEditableAttributes.class);
  editableAttribute.add(LinkEditableAttributes.COLOUR);
  editableAttribute.add(LinkEditableAttributes.LINE_STYLE);
  editableAttribute.add(LinkEditableAttributes.LINE_WIDTH);
  IPropertyDefinition Interacts=reassignVal(getPropInteracts(),"String_Node_Str",true,false);
  edge.getDefaultLinkAttributes().addPropertyDefinition(Interacts);
  LinkTerminusDefinition sport=this.edge.getSourceTerminusDefinition();
  sport.getLinkTerminusDefaults().setGap((short)0);
  sport.getLinkTerminusDefaults().setLinkEndDecoratorShape(LinkEndDecoratorShape.NONE);
  sport.getLinkTerminusDefaults().setEndSize(new Size(10,10));
  sport.getLinkTerminusDefaults().setTermDecoratorType(PrimitiveShapeType.RECTANGLE);
  sport.getLinkTerminusDefaults().setTermSize(new Size(0,0));
  sport.getLinkTerminusDefaults().setTermColour(new RGB(255,255,255));
  EnumSet<LinkTermEditableAttributes> srcEditableAttribute=EnumSet.noneOf(LinkTermEditableAttributes.class);
  srcEditableAttribute.add(LinkTermEditableAttributes.TERM_DECORATOR_TYPE);
  srcEditableAttribute.add(LinkTermEditableAttributes.TERM_COLOUR);
  sport.setEditableAttributes(srcEditableAttribute);
  LinkTerminusDefinition tport=this.edge.getTargetTerminusDefinition();
  tport.getLinkTerminusDefaults().setGap((short)0);
  tport.getLinkTerminusDefaults().setLinkEndDecoratorShape(LinkEndDecoratorShape.NONE);
  tport.getLinkTerminusDefaults().setEndSize(new Size(10,10));
  tport.getLinkTerminusDefaults().setTermDecoratorType(PrimitiveShapeType.RECTANGLE);
  tport.getLinkTerminusDefaults().setTermSize(new Size(0,0));
  tport.getLinkTerminusDefaults().setTermColour(new RGB(255,255,255));
  EnumSet<LinkTermEditableAttributes> tgtEditableAttribute=EnumSet.noneOf(LinkTermEditableAttributes.class);
  tgtEditableAttribute.add(LinkTermEditableAttributes.TERM_DECORATOR_TYPE);
  tgtEditableAttribute.add(LinkTermEditableAttributes.TERM_COLOUR);
  tport.setEditableAttributes(srcEditableAttribute);
  this.edge.getLinkConnectionRules().addConnection(this.node,this.node);
}