New version for the eclipse plugin.