DefnCache.java now conforms to checkstyle rules.