lib/Tools/scala
2008-08-16 wenzelm 2008-08-16 refined scala/java wrappers via isatool;