public SourceFile(String fullFileName) { this.dataSource = new FileSourceFileDataSource(fullFileName);
public SourceFile(SourceFileDataSource dataSource) { this.dataSource = dataSource;
	public SourceFile(String fullFileName) {		this.dataSource = new FileSourceFileDataSource(fullFileName);		this.lineNumberMap = new int[DEFAULT_SIZE];		this.numLines = 0;	}