@@ -0,0 +1,462 @@
+package edu.columbia.cs.psl.test.phosphor;%0A%0Aimport edu.columbia.cs.psl.phosphor.PreMain;%0Aimport org.junit.After;%0Aimport org.junit.AfterClass;%0Aimport org.junit.Assert;%0Aimport org.junit.Before;%0A%0Apublic class BasePhosphorTest %7B%0A%09@Before%0A%09public void clearErrorFlag()%7B%0A%09%09PreMain.INSTRUMENTATION_EXCEPTION_OCURRED = false;%0A%09%7D%0A%09@After%0A%09public void checkForError()%7B%0A%09%09if(PreMain.INSTRUMENTATION_EXCEPTION_OCURRED)%0A%09%09%09Assert.fail(%22Instrumentation error occurred%22);%0A%09%7D%0A%7D%0A

add missing file