JgraphT EOF