alloy4.2 lib (to be later on managed by Maven)