DLTK JIPP is down

I tried to do some minimal reviving of DLTK so PDT can become a bit less annoying and figured that https://ci.eclipse.org/dltk is down.