update eclipse4python