PSDefn.java now passes checkstyle audit.