org.jrdf.graph.index.nodepool (Java RDF API Framework 0.4.1)