br= new BufferedReader(new InputStreamReader(in, ResourcesPlugin.getEncoding()));
if (encoding != null) br= new BufferedReader(new InputStreamReader(in, encoding)); else br= new BufferedReader(new InputStreamReader(in));
	private String getSource(IFile file) throws CoreException {		InputStream in= file.getContents();		// Fix for http://dev.eclipse.org/bugs/show_bug.cgi?id=19319		StringBuffer sb= new StringBuffer();		BufferedReader br= null;		try {			br= new BufferedReader(new InputStreamReader(in, ResourcesPlugin.getEncoding()));				int read= 0;			while ((read= br.read()) != -1)				sb.append((char) read);		} catch (IOException e){				throw new JavaModelException(e, IJavaModelStatusConstants.IO_EXCEPTION);		} finally {			try{				IOCloser.rethrows(br, in);			} catch (IOException e){				throw new JavaModelException(e, IJavaModelStatusConstants.IO_EXCEPTION);			}			}		return sb.toString();	}