search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

add plume-lib source dependency, exclude junit-4.10 #29

Closed Jianchu closed 8 years ago

Jianchu commented 8 years ago

Two changes related to the update in annotation-tools:

  1. plume-lib is independent from annotation-tools now, so plume.jar should be found in jsr308Child path.
  2. It seems that annotation-file-utilities.jar no longer contains junit-4.12.jar, and junit-4.10 is putted in to deps directory somehow... So the testing process fails when the method in junit-4.12.jar is called. Simply excluding junit-4.10 can fix this. (It seems that junit-4.10 is required by json-simple-1.1.1 project, so we may have to exclude junit-4.10 manually...)
wmdietl commented 8 years ago

Changes look good to me and Travis is happy.