Added an Eclipse preference file specifying ISO-8859-1 as text
encoding