docs: public boolean hasProjectSpecificOptions(String preferenceContainerID, IProject project) {
  		final IPreferenceStore store = getWritablePreferenceStore(project);
  		// Compute the key
  		String key = IS_PROJECT_SPECIFIC;
  		if (preferenceContainerID != null) {
  			key = getPropertyPrefix(preferenceContainerID) + "." + IS_PROJECT_SPECIFIC; //$NON-NLS-1$
  		}
  		// backward compatibility
  		final boolean oldSettingsUsed = store.getBoolean(IS_PROJECT_SPECIFIC);
  		final boolean newSettingsValue = store.getBoolean(key);
  		if (oldSettingsUsed && !newSettingsValue) {
  			store.setValue(key, true);
  			return true;
  		}
  		return newSettingsValue;
  	}