eclipse.preferences.version=1 encoding/Requirements.html=ISO-8859-1