Packaging for Google's "Contracts for Java" <http://code.google.com/p/cofoja/>