The JGraph 5 legacy code