public static void saveUserPreferences(IProject project) throws CoreException, IOException {
public static void saveUserPreferences(IProject project, final UserPreferences userPrefs) throws CoreException, IOException {  project.setSessionProperty(SESSION_PROPERTY_USERPREFS, userPrefs);
	public static void saveUserPreferences(IProject project) throws CoreException, IOException {		IFile userPrefsFile = getUserPreferencesFile(project);				final UserPreferences userPrefs = getUserPreferences(project);				FileOutput userPrefsOutput = new FileOutput() {			public void writeFile(OutputStream os) throws IOException {				userPrefs.write(os);			}			public String getTaskDescription() {				return "writing user preferences for project";			}		};				IO.writeFile(userPrefsFile, userPrefsOutput, null);	}