Change jenkins's port to 8090 (less used by other vm)