public ActivationID(Activator activator) { this.activator = activator; }
public ActivationID(Activator an_activator) { activator = an_activator; uid = new UID(); }
public ActivationID(Activator activator) {	this.activator = activator;}