~~ BasicTest.java
~~ refactoring StdLibTestBase and derived classes.