A Java Toolkit/Library in the class t$