	* kawa/Shell.java (runFile):  Re-write to call load.loadSource. 	This forces compilation, which has better line number support. 	Also rmeoved unused formal parameters.
	* kawa/Shell.java (runFile):  Re-write to call load.loadSource.
	This forces compilation, which has better line number support.
	Also rmeoved unused formal parameters.


git-svn-id: 169764d5f12c41a1cff66b81d896619f3ce5473d@249 5e0a886f-7f45-49c5-bc19-40643649e37f

spurious/kawa-mirror,spurious/kawa-mirror,spurious/kawa-mirror,spurious/kawa-mirror,spurious/kawa-mirror