Added @Unroll into example 3
Example 4: Shared and non-shared instance fields
Example 5: Using `old(...)` to access the previous object state
Refactored code. Configured Maven to pick up *Spec.