public class User {

  public static void user(Ann1 a1, Ann2 a2) {
    a1.x(); a2.z(); new Annotated(); new HasJavaDeprecatedAnnotationUsedByJava(); new HasKotlinDeprecatedAnnotationUsedByJava();
  }

}