static String readString(InputStream is) {
private static String readString(InputStream is, String encoding) {
	static String readString(InputStream is) {		if (is == null)			return null;		BufferedReader reader= null;		try {			StringBuffer buffer= new StringBuffer();			char[] part= new char[2048];			int read= 0;			reader= new BufferedReader(new InputStreamReader(is, ResourcesPlugin.getEncoding()));			while ((read= reader.read(part)) != -1)				buffer.append(part, 0, read);						return buffer.toString();					} catch (IOException ex) {			// NeedWork		} finally {			if (reader != null) {				try {					reader.close();				} catch (IOException ex) {					// silently ignored				}			}		}		return null;	}