// Path: src/org/art_core/dev/cinder/CinderPlugin.java
// public class CinderPlugin extends AbstractUIPlugin {
// 
// 	// The plug-in ID
// 	public static final String PLUGIN_ID = "org.art_core.dev.cinder";
// 
// 	// The shared instance
// 	private static CinderPlugin plugin;
// 
// 	/*
// 	 * (non-Javadoc)
// 	 * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext)
// 	 */
// 	public void start(BundleContext context) throws Exception {
// 		super.start(context);
// 		plugin = this;
// 	}
// 
// 	/*
// 	 * (non-Javadoc)
// 	 * @see org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext)
// 	 */
// 	public void stop(BundleContext context) throws Exception {
// 		plugin = null;
// 		super.stop(context);
// 	}
// 
// 	/**
// 	 * Returns the shared instance
// 	 *
// 	 * @return the shared instance
// 	 */
// 	public static CinderPlugin getDefault() {
// 		return plugin;
// 	}
// 
// 	/**
// 	 * Returns an image descriptor for the image file at the given
// 	 * plug-in relative path
// 	 *
// 	 * @param path the path
// 	 * @return the image descriptor
// 	 */
// 	public static ImageDescriptor getImageDescriptor(final String path) {
// 		return imageDescriptorFromPlugin(PLUGIN_ID, path);
// 	}
// }


import org.art_core.dev.cinder.CinderPlugin;
import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
import org.eclipse.jface.preference.IPreferenceStore;
package org.art_core.dev.cinder.prefs;


/**
 * Class used to initialize default preference values.
 */
public class CinderPrefInit extends AbstractPreferenceInitializer {
	
	/*
	 * (non-Javadoc)
	 * 
	 * @seeorg.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#
	 * initializeDefaultPreferences()
	 */
	public void initializeDefaultPreferences() {
// Path: src/org/art_core/dev/cinder/CinderPlugin.java
// public class CinderPlugin extends AbstractUIPlugin {
// 
// 	// The plug-in ID
// 	public static final String PLUGIN_ID = "org.art_core.dev.cinder";
// 
// 	// The shared instance
// 	private static CinderPlugin plugin;
// 
// 	/*
// 	 * (non-Javadoc)
// 	 * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext)
// 	 */
// 	public void start(BundleContext context) throws Exception {
// 		super.start(context);
// 		plugin = this;
// 	}
// 
// 	/*
// 	 * (non-Javadoc)
// 	 * @see org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext)
// 	 */
// 	public void stop(BundleContext context) throws Exception {
// 		plugin = null;
// 		super.stop(context);
// 	}
// 
// 	/**
// 	 * Returns the shared instance
// 	 *
// 	 * @return the shared instance
// 	 */
// 	public static CinderPlugin getDefault() {
// 		return plugin;
// 	}
// 
// 	/**
// 	 * Returns an image descriptor for the image file at the given
// 	 * plug-in relative path
// 	 *
// 	 * @param path the path
// 	 * @return the image descriptor
// 	 */
// 	public static ImageDescriptor getImageDescriptor(final String path) {
// 		return imageDescriptorFromPlugin(PLUGIN_ID, path);
// 	}
// }


// Path: src/org/art_core/dev/cinder/prefs/CinderPrefInit.java
import org.art_core.dev.cinder.CinderPlugin;
import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
import org.eclipse.jface.preference.IPreferenceStore;

package org.art_core.dev.cinder.prefs;


/**
 * Class used to initialize default preference values.
 */
public class CinderPrefInit extends AbstractPreferenceInitializer {
	
	/*
	 * (non-Javadoc)
	 * 
	 * @seeorg.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#
	 * initializeDefaultPreferences()
	 */
	public void initializeDefaultPreferences() {
		IPreferenceStore store = CinderPlugin.getDefault().getPreferenceStore();