Additional settings for Eclipse.