add libraries to use jgrapht