22232425262728
return new Source(name, path, reader); } private SourceReader fileSourceReader(String sourceName, String filePath) { String filename = filePath + RedlineFile.separator + sourceName; return new FileSourceReader(filename); }