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