if (writer != null) writer.close();
stream.close();
	private static synchronized void storeLocations() throws CoreException {		Writer writer= null;		try {			writer= new FileWriter(getStoreFile());			saveToStream(fgJavadocLocations, writer);		} catch (IOException e) {			throw createException(e, CorextMessages.getString("JavaDocLocations.error.writeFile")); //$NON-NLS-1$		} finally {			try {				if (writer != null)					writer.close();			} catch (IOException e) {				//	error closing reader: ignore			}		}	}