Starting verifier second phase
Merge branch 'master' of https://github.com/BBK-PiJ-2012-86/Project.git
Merged