Update for upstream changes; fixes Jenkins build.

Due to some refactoring in the GraphHopper project, the most recent Jenkins build failed.