Make eclipse use the intended java version when updating the project