I removed the maven central proposed build because we just came to realizing
that maven central doesn't provide any proof that any third party repos don't,
so all maven repos are seen as sources not to be trusted. But since we've been
using them until now, there's no reason to stop and not do updates until a
solution is implemented.
Thus, going through the trouble to patch out third-party repos doesn't improve
anything. David, if you're reading this, I feel bad for removing your work. I
hope you'll forgive me :)
