(eclipse) Update current eclipse version