finished reformatting eclipse_setup.html