PTType.java now passes checkstyle audit.