return new URL(plugin.getDescriptor().getInstallURL(), DICTIONARY_LOCATION);
return plugin.getBundle().getEntry("/" + DICTIONARY_LOCATION);
	public static URL getDictionaryLocation() throws MalformedURLException {		final JavaPlugin plugin= JavaPlugin.getDefault();		if (plugin != null)			return new URL(plugin.getDescriptor().getInstallURL(), DICTIONARY_LOCATION);		return null;	}