IPreferenceStore store= JavaPlugin.getDefault().getPreferenceStore(); return store.getBoolean(PREF_COMPRESS_PKG_NAME_IN_PKG_VIEW);
return getPkgNamePatternForPackagesView().length() > 0;
	static public boolean isCompressingPkgNameInPackagesView() {		IPreferenceStore store= JavaPlugin.getDefault().getPreferenceStore();		return store.getBoolean(PREF_COMPRESS_PKG_NAME_IN_PKG_VIEW);	}