runtimeverification/javamop — pull request #125 by kheradmand (2014-10-10 18:58:22+00:00)
Title: removed ajc from prereq

maven downloads ajc even if user already has ajc so it is not a prereq