We should be using HTTPS by default.

Since maven-repo.oucs.ox.ac.uk has HTTPS we should be using it by default.