update eclipse version (untested)