JBIDE-13672 use wget for xml api pulls, and curl for other stuff; also update jenkins URL