for Eclipse