final modifications of the old approach checked in for
reference, this is soon history anyway.
Merge branch 'master' of github.com:johann-petrak/gateplugin-scala

Conflicts:
	build.xml
	lib/jline.jar
	lib/scala-swing.jar