Unable to install Addon for Eclipse

Looking to redo a private channel to go public, my Programmer who made the last channel has been unable to connect to the developer server and install the new plugin for Eclipse. He has Mars version from eclipse.

Is there a newer sdk for download and install for the programmers?