Java library with some graph implementations