/*
* Customized serialization.
*/
private void writeObject(java.io.ObjectOutputStream outJ)
{
// throws IOException {
outJ.defaultWriteObject();
outJ.writeByte(MAJOR);
outJ.writeByte(MINOR);
if (null == parameters) {
outJ.writeInt(-1);
} else {
outJ.writeInt(parameters.Length);
foreach (Object element in parameters) {
outJ.writeObject(null == element ? null : element.toString());
}
}
}
