<commit_before>package org.ai4fm.proofprocess.isabelle.core;

import org.osgi.framework.BundleActivator;
import org.osgi.framework.BundleContext;

public class IsabelleProofPlugin implements BundleActivator {

	private static BundleContext context;

	static BundleContext getContext() {
		return context;
	}

	/*
	 * (non-Javadoc)
	 * @see org.osgi.framework.BundleActivator#start(org.osgi.framework.BundleContext)
	 */
	@Override
	public void start(BundleContext bundleContext) throws Exception {
		IsabelleProofPlugin.context = bundleContext;
	}

	/*
	 * (non-Javadoc)
	 * @see org.osgi.framework.BundleActivator#stop(org.osgi.framework.BundleContext)
	 */
	@Override
	public void stop(BundleContext bundleContext) throws Exception {
		IsabelleProofPlugin.context = null;
	}

}<commit_msg>Upgraded to Plugin - allows accessing the log, etc.<commit_after>package org.ai4fm.proofprocess.isabelle.core;

import org.eclipse.core.runtime.Plugin;
import org.osgi.framework.BundleContext;

public class IsabelleProofPlugin extends Plugin {

	// The plug-in ID
	public static final String PLUGIN_ID = "org.ai4fm.proofprocess.isabelle.core"; //$NON-NLS-1$
	
	// The shared instance
	private static IsabelleProofPlugin plugin;

	/* (non-Javadoc)
	 * @see org.eclipse.core.runtime.Plugin#start(org.osgi.framework.BundleContext)
	 */
	@Override
	public void start(BundleContext context) throws Exception {
		super.start(context);
		plugin = this;
	}

	/* (non-Javadoc)
	 * @see org.eclipse.core.runtime.Plugin#stop(org.osgi.framework.BundleContext)
	 */
	@Override
	public void stop(BundleContext context) throws Exception {
		plugin = null;
		super.stop(context);
	}

	/**
	 * Returns the shared instance
	 *
	 * @return the shared instance
	 */
	public static IsabelleProofPlugin getDefault() {
		return plugin;
	}

}
{'fraction_non_alphanumeric': 0.10724156992813709, 'fraction_numerical': 0.002211166390270868, 'mean_word_length': 4.535168195718654, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6726026', 'n_tokens_mistral': 601, 'n_tokens_neox': 557, 'n_words': 119}