lib/Tools/scala
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-08-16 wenzelm 2008-08-16 removed unused usage;
2008-08-16 wenzelm 2008-08-16 refined scala/java wrappers via isatool;