writeActivationFile( (ActivationFile) activation.getFile(), "file", serializer );
writeActivationFile( (ActivationFile) activation.getFile(), "file", serializer );
writeActivationFile( (ActivationFile) activation.getFile(), "file", serializer );
writeActivationFile( (ActivationFile) activation.getFile(), "file", serializer );