@Override
public String[] getHighlightingKeys() {
final Set<String> result = new HashSet<String>();
for (SemanticHighlighting highlighting : getSemanticHighlightings()) {
result.add(highlighting.getPreferenceKey());
}
return result.toArray(new String[result.size()]);
}
