if (! isCompressingEnabled()) return "";
	public static String getPkgNamePatternForPackagesView() {		return JavaPlugin.getDefault().getPreferenceStore().getString(PREF_PKG_NAME_PATTERN_FOR_PKG_VIEW);	}