[fixup] Fixing up the checkerframework @CalledMethods annotation package rename from commit 390ebcf

test/stubs/org/checkerframework/checker/calledmethods/qual/CalledMethods.java

@@ -0,0 +1,17 @@
+package org.checkerframework.checker.calledmethods.qual;
+
+import java.lang.annotation.ElementType;
+import java.lang.annotation.Retention;
+import java.lang.annotation.RetentionPolicy;
+import java.lang.annotation.Target;
+
+@Retention(RetentionPolicy.RUNTIME)
+@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
+public @interface CalledMethods {
+  /**
+   * Methods that have been called, on any expression whose type is annotated.
+   *
+   * @return methods that have been called
+   */
+  public String[] value() default {};
+}

test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java

@@ -0,0 +1,17 @@
+package org.checkerframework.checker.calledmethods.qual;
+
+import java.lang.annotation.ElementType;
+import java.lang.annotation.Retention;
+import java.lang.annotation.RetentionPolicy;
+import java.lang.annotation.Target;
+
+@Retention(RetentionPolicy.RUNTIME)
+@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
+public @interface NotCalledMethods {
+  /**
+   * Methods that have been called, on any expression whose type is annotated.
+   *
+   * @return methods that have been called
+   */
+  public String[] value() default {};
+}