StmtLibrary.java now passes checkstyle audit with exception of JavaDoc compliance.