Added new maven repository

needed for openrdf