Update JGraph library.