/** * Removes the edge corresponding to the specified JGraph edge from the JGraphT graph. If the * specified edge is not contained in {@link #cellToEdge}, it is silently ignored. * * <p>This method is to be called only for edges that have already been removed from the JGraph * graph. * * @param jEdge the JGraph edge that has been removed. */ void handleJGraphRemovedEdge(org.jgraph.graph.Edge jEdge) { if (cellToEdge.containsKey(jEdge)) { E jtEdge = cellToEdge.get(jEdge); jtGraph.removeEdge(jtEdge); cellToEdge.remove(jEdge); edgeToCell.remove(jtEdge); } }