Partial revisions to StmtLibrary.java for checkstyle audit.