return s.getBytes(ResourcesPlugin.getEncoding());
return s.getBytes(encoding);
	static byte[] getBytes(String s) {		try {			return s.getBytes(ResourcesPlugin.getEncoding());		} catch (UnsupportedEncodingException e) {			return s.getBytes();		}	}