encodeString(args[i], output);
escapeString(args[i], output);
	public final String getEncoded() {		StringBuffer output = new StringBuffer();		output.append('[');		output.append(type);		for (int i = 0; i < args.length; i++) {			output.append(" \"");			encodeString(args[i], output);			output.append('\"');		}		output.append(']');		return (output.toString());	}