Previously, searching in help contents caused NullPointerException when indexing.
Now, by setting extraDocuments to an empty array before indexing, NullPointer
doesn't occur and indexing proceeds as normal.
refs #6658
contribution.setCategoryId("category_" + toc.getLabel());\r
contribution.setPrimary(true);\r
contribution.setContributorId(Activator.PLUGIN_ID);\r
contribution.setCategoryId("category_" + toc.getLabel());\r
contribution.setPrimary(true);\r
contribution.setContributorId(Activator.PLUGIN_ID);\r
+ contribution.setExtraDocuments(new String[0]);\r
contribution.setToc(toc);\r
contributions.add(contribution);\r
}\r
contribution.setToc(toc);\r
contributions.add(contribution);\r
}\r