question: public static TestConfiguration buildDefaultConfiguration ( String testSourcePath , File testFile , String checkerName , List < String > options , boolean shouldEmitDebugInfo ) { List < File > javaFiles = Arrays . asList ( testFile ) ; List < String > processors = Arrays . asList ( checkerName ) ; return buildDefaultConfiguration ( testSourcePath , javaFiles , processors , options , shouldEmitDebugInfo ) ; }
target:  This is the default configuration used by Checker Framework JUnit tests.