#20 common_names.dictionary
Merge branch 'patch-4' of https://github.com/PaulVI/jdt.spelling into PaulVI-patch-4
Merge branch 'PaulVI-patch-4'