68ae6a39ce73c01f655d10f192ee23ec80b13e88  openrdf-util-1.2.5.jar