73747576777879808182
if (extensions != null) { addFilter(new ApplicationFileViewerFilter(requiredNatures, extensions)); } PHPDebugUIPlugin debugPlugin = PHPDebugUIPlugin.getDefault(); if (debugPlugin != null) { fStore = debugPlugin.getPluginPreferences(); } }