private AbstractVertex sourceVertex, destVertex;
private GUINode node;
protected String strId;
static double defaultStrokeWidth = 1;
static double arrowheadAngleDiff = 0.15 * Math.PI;
<BUG>double arrowLength;
private Edge(int source, int dest)</BUG>
{
this.strId = this.createID(source, dest);
this.source = source;

private AbstractVertex sourceVertex, destVertex;
private GUINode node;
protected String strId;
static double defaultStrokeWidth = 1;
static double arrowheadAngleDiff = 0.15 * Math.PI;
public static double arrowLength;
private Edge(int source, int dest)
{
this.strId = this.createID(source, dest);
this.source = source;
