1473 |
|
/** |
1474 |
|
* Saves this task to a stream (that is, serializes it). |
1475 |
|
* |
1476 |
+ |
* @param s the stream |
1477 |
+ |
* @throws java.io.IOException if an I/O error occurs |
1478 |
|
* @serialData the current run status and the exception thrown |
1479 |
|
* during execution, or {@code null} if none |
1480 |
|
*/ |
1486 |
|
|
1487 |
|
/** |
1488 |
|
* Reconstitutes this task from a stream (that is, deserializes it). |
1489 |
+ |
* @param s the stream |
1490 |
+ |
* @throws ClassNotFoundException if the class of a serialized object |
1491 |
+ |
* could not be found |
1492 |
+ |
* @throws java.io.IOException if an I/O error occurs |
1493 |
|
*/ |
1494 |
|
private void readObject(java.io.ObjectInputStream s) |
1495 |
|
throws java.io.IOException, ClassNotFoundException { |