Renaming plugins to jdt.spelling