Proxy Service proxy.di.uminho.pt with port number 3128