Create Tauthology.java

Tauthology in java