mikejuk (1801200) writes "Contract-oriented design has the potential to reduce programmer errors by enforcing conditions on class and interface alike. Now there's an open source way to add contracts to Java with cofoja — shame about the name it sounds more like an illness" Link to Original Source
The difference between reality and unreality is that reality has so
little to recommend it.
-- Allan Sherman