StringBuilder toString(StringBuilder out) { out. append(getName()). append(" {vendor: ").append(getVendor()). append(", version: ").append(getVersion()). append(", profile: ").append(getProfile()). append(", extensions: ").append(Arrays.toString(getExtensions())). append("}"); return out; }
StringBuilder toString(StringBuilder out) { out. append(getName()). append(" {vendor: ").append(getVendor()). append(", version: ").append(getVersion()). append(", profile: ").append(getProfile()). append(", extensions: ").append(Arrays.toString(getExtensions())). append("}"); return out; }