Project health: update names of Mockito jars.
Change on 2019/04/26 by antoniocortes
@@ -30,9 +30,6 @@ JUNIT_DATAPROVIDER_SOURCE_JAR = junit-dataprovider-1.10.4-sources.jar
HAMCREST_JAR = hamcrest-core-1.3.jar
HAMCREST_SOURCE_JAR = hamcrest-core-1.3-sources.jar
-MOCKITO_JAR = mockito-core-1.10.19.jar
-MOCKITO_SOURCE_JAR = mockito-core-1.10.19-sources.jar
-
PROTOBUF_JAR = protobuf-java-3.5.1.jar
ERROR_PRONE_ANNOTATIONS_JAR = error_prone_annotations-2.1.3.jar
@@ -56,6 +53,9 @@ GUAVA_ANDROID_SOURCE_JAR = guava-25.1-android-sources.jar
SCENELIB_JAR = scenelib.jar
PLUME_UTIL_JAR = plume-util-1.0.5.jar
+MOCKITO_JAR = mockito-core-1.10.19.jar
+MOCKITO_SOURCE_JAR = mockito-core-1.10.19-sources.jar
+
JSR305_JAR = jsr305-3.0.0.jar
JSR305_SOURCE_JAR = jsr305-3.0.0.jar
