if (stream != null) result.add(locale);
if (stream != null) { try { result.add(locale); } finally { stream.close(); } }
	public static Set getAvailableLocales() {		URL url= null;		Locale locale= null;		InputStream stream= null;		final Set result= new HashSet();		try {			final URL location= getDictionaryLocation();			final Locale[] locales= Locale.getAvailableLocales();			for (int index= 0; index < locales.length; index++) {				locale= locales[index];				url= new URL(location, locale.toString().toLowerCase() + "." + JavaUIMessages.getString("Spelling.dictionary.file.extension")); //$NON-NLS-1$ //$NON-NLS-2$				try {					stream= url.openStream();					if (stream != null)						result.add(locale);				} catch (IOException exception) {					// Do nothing				}			}		} catch (MalformedURLException exception) {			// Do nothing		}		result.add(getDefaultLocale());		return result;	}