tinyscalautils.java
