[tor-commits] [tor-browser-build/master] Bug 40195: Replace unusable repo.spring.io with jcenter()