JDT Spelling is the plugin name

Having other name in preferences makes it look like standard Eclipse feature, while JDT Spelling prefs are missing