#20: Back-port THM from js to Java 
 TODO now write JUnit test code for TaIHeNnManagerJs