public ArtifactRef newArtifactRef(Artifact a) { ArtifactRef res=of.createArtifactRef(); res.setRef(a); return res; } public AgentRef newAgentRef(Agent a) {
public ArtifactRef newArtifactRef(Artifact a) { ArtifactRef res=of.createArtifactRef(); res.setRef(a); return res; } public AgentRef newAgentRef(Agent a) {