TheType.java fixed for master