hendrens/jdt.spelling — pull request #11 by PaulVI (2014-05-29 09:03:03+00:00)
Title: JDT Spelling is the plugin name

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