jahob -v ArraySet.java -method ArraySet.contains -nobackground $@ -usedp cvcl