Google recently open sourced its Contracts for Java (Cofoja) tool. Licensed under GNU LGPL, Cofoja adds a group of Java Boolean expressions inside annotations that are enabled via a JVM argument and ...