try a different provider for Eclipse