Packaging contracts in JARs