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);
}

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 ) ; }
this is the default configuration used by checker framework junit tests .
