package tk.eclipse.plugin.htmleditor; import org.eclipse.jface.preference.IPreferenceStore; public interface IHTMLPreferenceContributer { public void initializeDefaultPreferences(IPreferenceStore store ); }