public PHPExternalToolsPreferencePage() {
super();
- setPreferenceStore(ExternalToolsPlugin.getDefault()
- .getPreferenceStore());
+
+ if (ExternalToolsPlugin.getDefault () != null) {
+ setPreferenceStore (ExternalToolsPlugin.getDefault().getPreferenceStore());
+ }
}
public void init(IWorkbench workbench) {