JavaPatternMatching/test/typeinference/FacultyTest.java

package typeinference;

import java.io.File;

public class FacultyTest extends JavaTXCompilerTest{
    public FacultyTest() {
        this.fileToTest = new File(rootDirectory+"Faculty.jav");
    }
}