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