encodeString(name, output);
escapeString(name, output);
	public final String getEncoded() {		StringBuffer output = new StringBuffer(				8						+ type.length()						+ ((((name == null) ? 0 : name.length()) + ((actions == null) ? 0								: actions.length())) << 1));		output.append('(');		output.append(type);		if (name != null) {			output.append(" \"");			encodeString(name, output);			if (actions != null) {				output.append("\" \"");				encodeString(actions, output);			}			output.append('\"');		}		output.append(')');		return (output.toString());	}