void (Artifact artifact) { final ArtifactPointer pointer = ArtifactPointerManager.getInstance(myProject).createPointer(artifact); if (!myArtifactPointers.contains(pointer)) { myArtifactPointers.add(pointer); } }