Java graph library documentation