Added note that we need JRE 7 for things to work, commented out tweaking of eclipse.ini.