cp  readme_eclipse.html readme_eclipse_old.html
sed -i -e 's/4\.26/4\.27/g'  readme_eclipse.html
sed -i -e 's/4_26/4_27/g' readme_eclipse.html
sed -i -e 's/4\.25/4\.26/g' readme_eclipse.html