Mostly extracting the spell checker from JDT so that it can be used in other plugins.