// WeightedEdge.java
// Andrew Davison, ad@coe.psu.ac.th, Jan. 2023


import org.jgrapht.graph.*;


public class WeightedEdge extends DefaultWeightedEdge 
{
    public String toString() 
    {  return String.valueOf(getWeight());  }
}