for (Iterator<PHPEditorTextHoverDescriptor> iterator = new ArrayList<PHPEditorTextHoverDescriptor>(
fTextHoverSpecifications).iterator(); iterator.hasNext();) {
PHPEditorTextHoverDescriptor spec = iterator.next();
IPHPTextHover hover = spec.createTextHover();
if (hover != null) {
hover.setEditor(getEditor());
hover.setPreferenceStore(getPreferenceStore());
addTextHover(hover);
fTextHoverSpecifications.remove(spec);
}
}
}