make eclipse .project name consistent with other tools plugins