Sensible default file encoding for Eclipse