TCAT for Java Applied To J-Othello