After installing a new version of Eclipse, how does one efficiently and safely transfer preferences and settings from old installation of Eclipse to the new one?