JGraphT
DispalGraph
final?