import org.eclipse.core.resources.IResourceChangeEvent;
import org.eclipse.core.resources.IResourceChangeListener;
import org.eclipse.core.resources.IWorkspace;
import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.core.runtime.Platform;
<BUG>import org.eclipse.core.runtime.Plugin;
import org.osgi.framework.BundleContext;</BUG>
import com.dubture.symfony.core.log.Logger;
import com.dubture.symfony.index.SymfonyIndexer;
public class SymfonyCorePlugin extends Plugin {

import org.eclipse.core.resources.IResourceChangeEvent;
import org.eclipse.core.resources.IResourceChangeListener;
import org.eclipse.core.resources.IWorkspace;
import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.core.runtime.Platform;
import org.eclipse.core.runtime.Plugin;
import org.eclipse.core.runtime.preferences.InstanceScope;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.ui.preferences.ScopedPreferenceStore;
import org.osgi.framework.BundleContext;
import com.dubture.symfony.core.log.Logger;
import com.dubture.symfony.index.SymfonyIndexer;
public class SymfonyCorePlugin extends Plugin {
