lib/Tools/java
2008-08-16 wenzelm removed unused usage;
2008-08-16 wenzelm refined scala/java wrappers via isatool;
less more (0) tip