jgraph does not like concurrent modification