JBIDE-13672 use curl instead of wget so that 404s can be more easily trapped instead of failing >> master