equal
deleted
inserted
replaced
219 use in Step 4. Then, Steps 3 through 7 are repeated on the new object. |
219 use in Step 4. Then, Steps 3 through 7 are repeated on the new object. |
220 |
220 |
221 If the replacement object is not one of the types covered by Steps 3 |
221 If the replacement object is not one of the types covered by Steps 3 |
222 through 7, processing resumes using the replacement object at Step 10. |
222 through 7, processing resumes using the replacement object at Step 10. |
223 |
223 |
224 9. If the object is a `java.lang.String,` the string is written as length |
224 9. <a id="java-lang-string-encoding"></a> |
|
225 If the object is a `java.lang.String,` the string is written as length |
225 information followed by the contents of the string encoded in modified |
226 information followed by the contents of the string encoded in modified |
226 UTF-8. For details, refer to [Section 6.2, "Stream |
227 UTF-8. For details, refer to [Section 6.2, "Stream |
227 Elements"](protocol.html#stream-elements). A handle is assigned to the |
228 Elements"](protocol.html#stream-elements). A handle is assigned to the |
228 string, and `writeObject` returns. |
229 string, and `writeObject` returns. |
229 |
230 |