Replace the default maven repository because it is so slow for me at home.