public MySQLPreferencePage() {
super();
- setPreferenceStore(ExternalToolsPlugin.getDefault()
- .getPreferenceStore());
+
+ if (ExternalToolsPlugin.getDefault () != null) {
+ setPreferenceStore (ExternalToolsPlugin.getDefault().getPreferenceStore());
+ }
}
protected Control createContents(Composite parent) {