@@ -0,0 +1,456 @@
+package org.lamport.tla.toolbox.tool;%0A%0Aimport org.eclipse.core.runtime.Assert;%0Aimport org.lamport.tla.toolbox.spec.Spec;%0A%0Apublic class SpecRenameEvent extends SpecEvent %7B%0A%0A%09private final String newName;%0A%0A%09public SpecRenameEvent(final Spec spec, final String aNewName) %7B%0A%09%09super(spec, SpecEvent.TYPE_RENAME);%0A%09%09Assert.isNotNull(aNewName);%0A%09%09this.newName = aNewName;%0A%09%7D%0A%0A%09/**%0A%09 * @return the newName%0A%09 */%0A%09public String getNewName() %7B%0A%09%09return newName;%0A%09%7D%0A%7D%0A

Add missing file