Switching to JUNG2-beta1: - got rid of our custom fix to removeEdge - now both addVertex and removeVertex are correctly implemented: they update properly the nodes2serials map.