IFile userPrefsFile = getUserPreferencesFile(project);
IPath userPrefsPath = getUserPreferencesFile(project);   File userPrefsFile = userPrefsPath.toFile();
	public static void saveUserPreferences(IProject project, final UserPreferences userPrefs)			throws CoreException, IOException {		// Make the new user preferences current for the project		project.setSessionProperty(SESSION_PROPERTY_USERPREFS, userPrefs);				IFile userPrefsFile = getUserPreferencesFile(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);	}