this.reader = (new LineNumberReader(reader));
this.reader = new LineNumberReader(reader);
	public ProphitParserLoader(Reader reader)	{		// we need to convert this to zip format at some point soon...		this.reader = (new LineNumberReader(reader)); // not sure if we want to do this.		this.parser = this;  // we are our own parser. (and we are also a loader)		this.solver = null; // we don't need this, as our solve step is essentially empty		this.file = null;  // this was throw away info anyway - we really just needed the reader	}