Provide direct support for Eclipse preferences #753