update eclipse platform