//---------------------------------------------------------
// serialization version ID
out.writeLong(serialVersionUID);
// revision ID
out.writeInt(revisionID);
//---------------------------------------------------------
// collection of parameters
//---------------------------------------------------------
out.writeMap(parameters);