// Path: de.urszeidler.eclipse.solidity.ui/src/de/urszeidler/eclipse/solidity/ui/Activator.java
// public class Activator extends AbstractUIPlugin {
// 
// 	/**
// 	 * The plug-in ID.
// 	 */
// 	public static final String PLUGIN_ID = "de.urszeidler.eclipse.solidity.ui";
// 
// 	/**
// 	 * The shared instance.
// 	 */
// 	private static Activator plugin;
// 
// 	/**
// 	 * The constructor.
// 	 */
// 	public Activator() {
// 	}
// 
// 	/**
// 	 * {@inheritDoc}
// 	 *
// 	 * @see org.eclipse.core.runtime.Plugin#start(org.osgi.framework.BundleContext)
// 	 * @generated
// 	 */
// 	public void start(BundleContext context) throws Exception {
// 		super.start(context);
// 		plugin = this;
// 	}
// 
// 	/**
// 	 * {@inheritDoc}
// 	 *
// 	 * @see org.eclipse.core.runtime.Plugin#stop(org.osgi.framework.BundleContext)
// 	 * @generated
// 	 */
// 	public void stop(BundleContext context) throws Exception {
// 		plugin = null;
// 		super.stop(context);
// 	}
// 
// 	/**
// 	 * Returns the shared instance.
// 	 *
// 	 * @return the shared instance
// 	 */
// 	public static Activator getDefault() {
// 		return plugin;
// 	}
// 
// 	public static void logError(String message, Exception e) {
// 		getDefault().getLog().log(createErrorStatus(message, e));
// 	}
// 
// 	public static Status createErrorStatus(String message, Exception e) {
// 		return new Status(IStatus.ERROR, PLUGIN_ID, message, e);
// 	}
// 
// 	public static void logError(String message) {
// 		getDefault().getLog().log(new Status(IStatus.ERROR, PLUGIN_ID, message));
// 	}
// 
// 	public static void logInfo(String message) {
// 		getDefault().getLog().log(new Status(IStatus.INFO, PLUGIN_ID, message));
// 	}
// 
// 	public static void logWarning(String message) {
// 		getDefault().getLog().log(new Status(IStatus.INFO, PLUGIN_ID, message));
// 	}
// 
// }


import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
import org.eclipse.core.runtime.preferences.InstanceScope;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.ui.preferences.ScopedPreferenceStore;
import de.urszeidler.eclipse.solidity.ui.Activator;
package de.urszeidler.eclipse.solidity.ui.preferences;



/**
 * Class used to initialize default preference values.
 */
public class PreferenceInitializer extends AbstractPreferenceInitializer {

	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#initializeDefaultPreferences()
	 */
	public void initializeDefaultPreferences() {
// Path: de.urszeidler.eclipse.solidity.ui/src/de/urszeidler/eclipse/solidity/ui/Activator.java
// public class Activator extends AbstractUIPlugin {
// 
// 	/**
// 	 * The plug-in ID.
// 	 */
// 	public static final String PLUGIN_ID = "de.urszeidler.eclipse.solidity.ui";
// 
// 	/**
// 	 * The shared instance.
// 	 */
// 	private static Activator plugin;
// 
// 	/**
// 	 * The constructor.
// 	 */
// 	public Activator() {
// 	}
// 
// 	/**
// 	 * {@inheritDoc}
// 	 *
// 	 * @see org.eclipse.core.runtime.Plugin#start(org.osgi.framework.BundleContext)
// 	 * @generated
// 	 */
// 	public void start(BundleContext context) throws Exception {
// 		super.start(context);
// 		plugin = this;
// 	}
// 
// 	/**
// 	 * {@inheritDoc}
// 	 *
// 	 * @see org.eclipse.core.runtime.Plugin#stop(org.osgi.framework.BundleContext)
// 	 * @generated
// 	 */
// 	public void stop(BundleContext context) throws Exception {
// 		plugin = null;
// 		super.stop(context);
// 	}
// 
// 	/**
// 	 * Returns the shared instance.
// 	 *
// 	 * @return the shared instance
// 	 */
// 	public static Activator getDefault() {
// 		return plugin;
// 	}
// 
// 	public static void logError(String message, Exception e) {
// 		getDefault().getLog().log(createErrorStatus(message, e));
// 	}
// 
// 	public static Status createErrorStatus(String message, Exception e) {
// 		return new Status(IStatus.ERROR, PLUGIN_ID, message, e);
// 	}
// 
// 	public static void logError(String message) {
// 		getDefault().getLog().log(new Status(IStatus.ERROR, PLUGIN_ID, message));
// 	}
// 
// 	public static void logInfo(String message) {
// 		getDefault().getLog().log(new Status(IStatus.INFO, PLUGIN_ID, message));
// 	}
// 
// 	public static void logWarning(String message) {
// 		getDefault().getLog().log(new Status(IStatus.INFO, PLUGIN_ID, message));
// 	}
// 
// }


// Path: de.urszeidler.eclipse.solidity.ui/src/de/urszeidler/eclipse/solidity/ui/preferences/PreferenceInitializer.java
import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
import org.eclipse.core.runtime.preferences.InstanceScope;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.ui.preferences.ScopedPreferenceStore;
import de.urszeidler.eclipse.solidity.ui.Activator;

package de.urszeidler.eclipse.solidity.ui.preferences;



/**
 * Class used to initialize default preference values.
 */
public class PreferenceInitializer extends AbstractPreferenceInitializer {

	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#initializeDefaultPreferences()
	 */
	public void initializeDefaultPreferences() {
		IPreferenceStore store = new ScopedPreferenceStore(InstanceScope.INSTANCE, Activator.PLUGIN_ID);