encoding= ((IEncodedStreamContentAccessor) sa).getCharset(); } catch (Exception e) {
reader.close(); } catch (IOException ex) {
	public static String readString(IStreamContentAccessor sa) throws CoreException {		InputStream is= sa.getContents();		if (is != null) {			String encoding= null;			if (sa instanceof IEncodedStreamContentAccessor) {				try {					encoding= ((IEncodedStreamContentAccessor) sa).getCharset();				} catch (Exception e) {				}			}			if (encoding == null)				encoding= ResourcesPlugin.getEncoding();			return readString(is, encoding);		}		return null;	}