Support for Eclipse plugin