Changed version to 2.4.2. Added jsr305 dependency
ExampleContracts
Eclipse project files