Fixed file encoding issue.
Added support for the NOT_NULL constraint.
Added javadoc on constraints.
Added tests for invalid contracts.
Added jar and source jar in the download folder