888 |
|
* For compatibility with previous version of this class, elements |
889 |
|
* are first copied to a java.util.PriorityQueue, which is then |
890 |
|
* serialized. |
891 |
+ |
* |
892 |
+ |
* @param s the stream |
893 |
|
*/ |
894 |
|
private void writeObject(java.io.ObjectOutputStream s) |
895 |
|
throws java.io.IOException { |
907 |
|
|
908 |
|
/** |
909 |
|
* Reconstitutes this queue from a stream (that is, deserializes it). |
910 |
+ |
* @param s the stream |
911 |
|
*/ |
912 |
|
private void readObject(java.io.ObjectInputStream s) |
913 |
|
throws java.io.IOException, ClassNotFoundException { |