[jgit-dev] Can't get egit-4.7.target to work on Oxygen

[Dave Borowitz <dborowitz@xxxxxxxxxx>]

I upgraded to Oxygen and am trying without success to get JGit building. I imported the org.eclipse.egit.target project as usual (from head, de432f48f6), and tried to set egit-4.7.target as my target platform, but it can't find any plugins:
http://i.imgur.com/fW3VniI.png

If I click "Reload", it gets a bit more specific about what it's missing:
http://i.imgur.com/PxlObI9.png

If I then click "Edit" to dig into the first site in the list, I can see why it thinks those bundles don't exist; the site version says 9.4.5.v20170502 and that's what the target definition is looking for, but the bundles actually in the site are 9.4.5.201705032012:
http://i.imgur.com/MVylZ8C.png

Any ideas for what to try next?