@ 	* kawa/Makefile.am:  Support building and installing kawa front-end. 	* kawa/Shell.java (socket):  New field. 	(apply0):  If socket field is non-NULL, close it on exit. 	* kawa/repl.java (serveTelnet):  New method. 	(main):  Support new flags --connect and --server.
@
	* kawa/Makefile.am:  Support building and installing kawa front-end.
	* kawa/Shell.java (socket):  New field.
	(apply0):  If socket field is non-NULL, close it on exit.
	* kawa/repl.java (serveTelnet):  New method.
	(main):  Support new flags --connect and --server.


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

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