JBIDE-17254: Use cleaner mirror for tern

Use a mirror that doesn't mix com.eclipsesource.json and minimal-json